Logic for Programming, Artificial Intelligence, and Reasoning Andrei Voronkov
53,49 €
Titel: Logic for Programming, Artificial Intelligence, and Reasoning, Untertitel: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, Einband: Taschenbuch, Autor: Andrei Voronkov, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 456, Maße: 235x155x25 mm, Gewicht: 686 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Logik Philosophie / Logik Logikprogrammierung Artificial Intelligence Automat automata automated reasoning description logics formal verification game theory intelligence logic model checking programming proof theory verification.
Jetzt bei Ebay:
