Term Rewriting and All That by Tobias Nipkow (English) Paperback Book
66,89 €
By Tobias Nipkow, Franz Baader. They present the main algorithms both informally and as programs in the functional language Standard ML (An appendix contains a quick and easy introduction to ML). The book contains many examples and over 170 exercises.
Jetzt bei Ebay:
