Automated Deduction in Equational Logic and Cubic Curves R. Padmanabhan
53,49 €
Titel: Automated Deduction in Equational Logic and Cubic Curves, Einband: Taschenbuch, Autor: R. Padmanabhan, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 248, Maße: 235x155x14 mm, Gewicht: 382 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Logik Philosophie / Logik Autoated Theorem Proving Automat Automatisches Schließen Automatisches Theorembeweisen Cubic Curves Equatgional Logic Equational Logik Kubische Kurven Universelles Algebra automated deduction automated theorem proving logic proving theorem proving universal algebra.
Jetzt bei Ebay:
![Produktbild - Automated Deduction in Classical and Non-Classical L[...] | Buch | 9783540671909](https://i.ebayimg.com/thumbs/images/g/aCoAAOSwHiBnV9vR/s-l140.jpg)
