Logic for Programming, Artificial Intelligence, and Reasoning Andrei Voronkov
106,99 €
Titel: Logic for Programming, Artificial Intelligence, and Reasoning, Untertitel: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, Einband: Taschenbuch, Autor: Andrei Voronkov, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 764, Maße: 235x155x41 mm, Gewicht: 1136 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI AI logics Artificial Intelligence Logic Programming Resolution Semantics abstraction automata automated deduction automated reasoning automated theorem proving description logics distributed systems formal verification model checking verification.
Jetzt bei Ebay:
