Term Rewriting and All That
Häftad, Engelska, 1999
Av Germany) Baader, Franz (Rheinisch-Westfalische Technische Hochschule, Aachen, Tobias (Technische Universitat Munchen) Nipkow, Tobias Nipkow, Franz Baader, Baader Franz
889 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum1999-08-05
- Mått170 x 244 x 18 mm
- Vikt556 g
- FormatHäftad
- SpråkEngelska
- Antal sidor316
- FörlagCambridge University Press
- ISBN9780521779203