Automated Deduction in Geometry Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Richter-Gebert, Jürgen (Editor, http://id.loc.gov/vocabulary/relators/edt), Wang, Dongming (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Edition: 1st ed. 2001.
• Series: Lecture Notes in Artificial Intelligence ; 2061
• Subjects: Artificial intelligence.; Geometry.; Application software.; Computer graphics.; Mathematical logic.; Pattern recognition.; Artificial Intelligence.; Computer Applications.; Computer Graphics.; Mathematical Logic and Formal Languages.; Pattern Recognition.
• Physical Description: VIII, 328 p. online resource.
• ISBN: 9783540454106
• DOI: 10.1007/3-540-45410-1