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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Richter-Gebert, Jürgen (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Wang, Dongming (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Artificial Intelligence ; 2061
• Θέματα: Artificial intelligence.; Geometry.; Application software.; Computer graphics.; Mathematical logic.; Pattern recognition.; Artificial Intelligence.; Computer Applications.; Computer Graphics.; Mathematical Logic and Formal Languages.; Pattern Recognition.
• Φυσική περιγραφή: VIII, 328 p. online resource.
• ISBN: 9783540454106
• DOI: 10.1007/3-540-45410-1