Automated Deduction in Geometry
6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Francisco Botana
Themen in »Automated Deduction in Geometry«
3D-geometry algorithm verification algorithms automated deduction automatic discovering cognition computational geometry computer vision computer-aided design dynamic geometry formal reasoning formal verification proving theorem proving verification
Stimmen zu »Automated Deduction in Geometry«
Details
ISBN: 9783540773559
Verlag: Springer Berlin
Erscheinung: 12.12.2007