01489nam--2200397---450 99000095289020331620180312154837.03-540-42598-50095289USA010095289(ALEPH)000095289USA01009528920020208d2001----km-y0ITAy0103-------baENGDEAutomated deduction in geometry3rd International workshop, ADG 2000Zurich, Switzerland, September 25-27, 2000revised papersJurgen Richter-Gebert ... <et al.> (eds.)Berlin [etc.]Springer-Verlagcopyr. 2001VIII, 323 p.ill.20 cmLecture notes in artificial intelligence2061Serie principale: Lecture notes in computer science2001Lecture notes in artificial intelligence2061Elaborazione elettronicaModelli matematiciCongressi2000Intelligenza artificialeCongressi2000006.3Richter-Gebert,JurgenInternational workshop ADG 2000 <3. ; 2000 ; Zurich, Switzerland>552518ITACBSISBD990000952890203316006.3 LNIA (2061)0027268 CBS006.300111041BKSCIALANDI9020020208USA01124820020403USA011738PATRY9020040406USA011706Automated deduction in geometry973234UNISA