Rewriting Techniques and Applications Ronald V. Book
96,29 €
Titel: Rewriting Techniques and Applications, Untertitel: 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings, Einband: Taschenbuch, Autor: Ronald V. Book, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 472, Maße: 235x155x26 mm, Gewicht: 709 g, Verkäufer: buch-mimpf, Schlagworte: Algorithmus Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Mathematik Programmiersprachen Algorithm analysis and problem complexity Automatisches Schließen Beweissysteme Optimization Programmiersprache Reasoning Rechnergestützte Entscheidung Term rewriting systems Verifikation proving term rewriting theorem proving theorem proving systems verification.
Jetzt bei Ebay:
