Rewriting Techniques and Applications Andrei Voronkov
53,49 €
Titel: Rewriting Techniques and Applications, Untertitel: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings, Einband: Taschenbuch, Autor: Andrei Voronkov, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 472, Maße: 235x155x26 mm, Gewicht: 709 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Programmiersprachen Semantics Simulation approximation automata calculus constraint solving critical pair cryptographic protocol analysis data structure data structures dependency pairs equational tree automata functional-logic programming proving term rewriting.
Jetzt bei Ebay:
