Koszyk
towar
(pusty)
Kontakt
Konto
\nThis is a unified and self-contained introduction to term rewriting that can be used for advanced undergraduate courses or as a professional reference. The main algorithms are presented both informally and as ML programs. Many examples and over 170 exercises are provided.\n
przeczytaj całość
\n
This is a unified and self-contained introduction to term rewriting that can be used for advanced undergraduate courses or as a professional reference. The main algorithms are presented both informally and as ML programs. Many examples and over 170 exercises are provided.
\n ukryj opis- Wydawnictwo: Cambridge University Press
- Kod:
- Rok wydania: 1999
- Język: Angielski
- Oprawa: Miękka
- Liczba stron: 316
- Szerokość opakowania: 17 cm
- Wysokość opakowania: 24.4 cm
- Głębokość opakowania: 1.8 cm
- Waga: 542 g
Recenzja