Automated Deduction in Geometry Dongming Wang
53,49 €
Titel: Automated Deduction in Geometry, Untertitel: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, Einband: Taschenbuch, Autor: Dongming Wang, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 340, Maße: 235x155x19 mm, Gewicht: 517 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Automat Computer vision Computer-Aided Design Geometric Deduction Geometric Design Geometric Modeling Geometric Problem Solving automated deduction formal verification proving theorem proving.
Jetzt bei Ebay:
