Logic for Programming, Artificial Intelligence, and Reasoning Andrei Voronkov
106,99 €
Titel: Logic for Programming, Artificial Intelligence, and Reasoning, Untertitel: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, Einband: Taschenbuch, Autor: Andrei Voronkov, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 760, Maße: 235x155x41 mm, Gewicht: 1130 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Logikprogrammierung Schluss (logisch) Artificial Intelligence Automat Knowledge-Based Systems Semantics automated theorem proving knowledge knowledge base knowledge-based system logic nonmonotonic reasoning programming proving theorem proving verification.
Jetzt bei Ebay:
