Automated Deduction in Geometry Franz Winkler
53,49 €
Titel: Automated Deduction in Geometry, Untertitel: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers, Einband: Taschenbuch, Autor: Franz Winkler, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 248, Maße: 235x155x14 mm, Gewicht: 382 g, Verkäufer: buch-mimpf, Schlagworte: Geometrie Raumlehre Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Automat Resolution Robotics automated deduction computer computer algebra proving robot theorem proving.
Jetzt bei Ebay:
