Powiedz znajomym o tym przedmiocie:
Term Rewriting and All That
Franz Baader
Świąteczne prezenty można zwracać do 31 stycznia
Nasi klienci mówią:
Dodaj do swojej listy życzeń iMusic
Term Rewriting and All That
Franz Baader
Unified and self-contained introduction to term-rewriting; suited for students or professionals.
313 pages
| Media | Książki Hardcover Book (Książka z twardym grzbietem i okładką) |
| Wydane | 5 marca 1998 |
| ISBN13 | 9780521455206 |
| Wydawcy | Cambridge University Press |
| Strony | 313 |
| Wymiary | 775 g |
| Język | English |
Pokaż wszystko
Więcej od 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)
Zobacz wszystko od Franz Baader ( np. Paperback Book , Book i Hardcover Book )