Term Rewriting and All That von Tobias Nipkow (Englisch) Taschenbuch
101,71 €
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:
![Produktbild - Term Rewriting and All That by Franz Baader [Paperback]](https://i.ebayimg.com/thumbs/images/g/4swAAOSwyc5m~1v8/s-l140.jpg)
