Logic Programming and Automated Reasoning Frank Pfenning
85,59 €
Titel: Logic Programming and Automated Reasoning, Untertitel: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings, Einband: Taschenbuch, Autor: Frank Pfenning, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 364, Maße: 235x155x20 mm, Gewicht: 552 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Programmieren / Allgemeines Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Automat Automatisches Schließen Logic Programming Nichtklassische Logiken Nonclassical Logics Prolog automated reasoning automated theorem proving logic programming.
Jetzt bei Ebay:
