A Resolution Principle for a Logic with Restricted Quantifiers Hans-Jürgen Bürck
53,49 €
Titel: A Resolution Principle for a Logic with Restricted Quantifiers, Einband: Taschenbuch, Autor: Hans-Jürgen Bürckert, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 132, Maße: 235x155x8 mm, Gewicht: 213 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Beschränkte Quantoren Deduction and Theorem Proving Deduktion und Beweisen Logic Programming Mathematische Logik Resolution Restricted Quantifiers Wissens-Darstellung calculus extension knowledge representation logic logisches Programmieren mathematical logic sets.
Jetzt bei Ebay:
