Logic Programming and Automated Reasoning Andrei Voronkov
53,49 €
Titel: Logic Programming and Automated Reasoning, Untertitel: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings, Einband: Taschenbuch, Autor: Andrei Voronkov, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 528, Maße: 235x155x29 mm, Gewicht: 791 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Artificial Intelligence Automat automated reasoning automated theorem proving logic nonmonotonic reasoning programming proving theorem proving.
Jetzt bei Ebay:
