Rewriting Techniques and Applications Tobias Nipkow
85,59 €
Titel: Rewriting Techniques and Applications, Untertitel: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings, Einband: Taschenbuch, Autor: Tobias Nipkow, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 360, Maße: 235x155x20 mm, Gewicht: 546 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Programmiersprachen Automat Constraint Functional Programming Monoid Rack Resolution Variable algorithm algorithms lambda calculus logic programming proving theorem proving.
Jetzt bei Ebay:
