Conditional Term Rewriting Systems Jean-Luc Remy
53,49 €
Titel: Conditional Term Rewriting Systems, Untertitel: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings, Einband: Taschenbuch, Autor: Jean-Luc Remy, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 520, Maße: 235x155x28 mm, Gewicht: 779 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Programmiersprachen Automat Semantics automated deduction programming programming language proving theorem proving.
Jetzt bei Ebay:
![Produktbild - Term Rewriting and All That by Franz Baader [Paperback]](https://i.ebayimg.com/thumbs/images/g/ChUAAeSwx09oNoR8/s-l140.jpg)