áru
(üres)
Kapcsolat
Fiók 
\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
tovább
\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 leírás elrejtése- Kiadó: Cambridge University Press
- Kód:
- Kiadás éve: 1999
- Nyelv: Angol
- Kötés: Puha kötésű
- Oldalak száma: 316
- Csomag szélessége: 17 cm
- Csomag magassága: 24.4 cm
- Csomag mélysége: 1.8 cm
- Csomag súlya: 542 g
Recenzió