Automated Deduction in Geometry Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Gao, Xiao-lu (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Wang, Dongming (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Yang, Lu (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Έκδοση: 1st ed. 1999.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1669
• Θέματα: Computers.; Geometry.; Artificial intelligence.; Mathematical logic.; Computer graphics.; Optical data processing.; Theory of Computation.; Artificial Intelligence.; Mathematical Logic and Formal Languages.; Computer Graphics.; Image Processing and Computer Vision.

The Second International Workshop on Automated Deduction in Geometry (ADG '98) was held in Beijing, China, August 1-3, 1998. An increase of interest in ADG '98 over the previous workshop ADG '96 is represented by the notable number of more than 40 participants from ten countries and t...