Automated Deduction in Geometry
Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Jürgen Richter-Gebert
Themen in »Automated Deduction in Geometry«
Automat Computer Vision Computer-Aided Design Formal Verification Geometric Deduction Geometric Design Geometric Modeling Geometric Problem Solving Theorem Proving automated deduction proving
Stimmen zu »Automated Deduction in Geometry«
Details
ISBN: 9783540425984
Verlag: Springer Berlin
Erscheinung: 12.09.2001