Košík
zboží
(prázdné)
\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
číst 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 schovat popis- Nakladatel: Cambridge University Press
- Kód:
- Rok vydání: 1999
- Jazyk: Angličtina
- Vazba: Soft
- Počet stran: 316
- Šířka balení: 17 cm
- Výška balení: 24.4 cm
- Hloubka balení: 1.8 cm
- Váha balení: 542 g
Recenze