Name: Term Rewriting and All That
Price: 839 SEK
Availability: InStock
Author: Franz Baader, Tobias Nipkow, Tobias Nipkow, Franz Baader, Baader Franz
ISBN: 9780521779203

839:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

316 sidor
1999

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.

Författare: Franz Baader, Tobias Nipkow, Tobias Nipkow, Franz Baader, Baader Franz
Format: Pocket/Paperback
ISBN: 9780521779203
Språk: Engelska
Antal sidor: 316
Utgivningsdatum: 1999-08-05
Förlag: Cambridge University Press