Tell your friends about this item:
Term Rewriting and All That
Franz Baader
Our customers say:
Add to your iMusic wish list
Term Rewriting and All That
Franz Baader
Unified and self-contained introduction to term-rewriting; suited for students or professionals.
313 pages
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | March 5, 1998 |
| ISBN13 | 9780521455206 |
| Publishers | Cambridge University Press |
| Pages | 313 |
| Dimensions | 775 g |
| Language | English |
Show all
More by Franz Baader
![Cover for Franz Baader · The Description Logic Handbook: Theory, Implementation and Applications (Paperback Book) [2 Revised edition] (2010)](https://imusic.b-cdn.net/images/item/original/118/9780521150118.jpg?franz-baader-2010-the-description-logic-handbook-theory-implementation-and-applications-paperback-book&class=scaled&v=1406062745)
![Cover for Franz Baader · Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/475/9783540734475.jpg?franz-baader-2007-term-rewriting-and-applications-18th-international-conference-rta-2007-paris-france-june-26-28-2007-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1504375631)
![Cover for Franz Baader · Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2003 edition] (2003)](https://imusic.b-cdn.net/images/item/original/597/9783540405597.jpg?franz-baader-2003-automated-deduction-cade-19-19th-international-conference-on-automated-deduction-miami-beach-fl-usa-july-28-august-2-2003-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1504375631)
See all of Franz Baader ( e.g. Paperback Book , Book and Hardcover Book )