Košík
tovar
(prázdne)
Kontakt
Účet
\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
prečítať celé
\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 Skryť popis- Nakladateľ: Cambridge University Press
- Kód:
- Rok vydania: 1999
- Jazyk: Angličtina
- Väzba: Měkká
- Počet strán: 316
- Šírka balenia: 17 cm
- Výška balenia: 24.4 cm
- Hĺbka balenia: 1.8 cm
- Váha balenia: 542 g
Recenzie