Automated Deduction in Geometry Tomas Recio
53,49 €
Titel: Automated Deduction in Geometry, Untertitel: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers, Einband: Taschenbuch, Autor: Tomas Recio, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 228, Maße: 235x155x13 mm, Gewicht: 353 g, Verkäufer: buch-mimpf, Schlagworte: Geometrie Raumlehre Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Logik Philosophie / Logik 3D-geometry Cognition Computational Geometry Computer vision Computer-Aided Design algorithm verification algorithms automated deduction automatic discovering dynamic geometry formal reasoning formal verification proving theorem proving verification.
Jetzt bei Ebay:
