LEADER 01489nam--2200397---450 
001 990000952890203316
005 20180312154837.0
010   $a3-540-42598-5
035   $a0095289
035   $aUSA010095289
035   $a(ALEPH)000095289USA01
035   $a0095289
100   $a20020208d2001----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aAutomated deduction in geometry$e3rd International workshop, ADG 2000$eZurich, Switzerland, September 25-27, 2000$erevised papers$fJurgen Richter-Gebert ... <et al.> (eds.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2001
215   $aVIII, 323 p.$cill.$d20 cm
225   $aLecture notes in artificial intelligence$v2061
300   $aSerie principale: Lecture notes in computer science
410   $12001$aLecture notes in artificial intelligence$v2061
610 1 $aElaborazione elettronica$aModelli matematici$aCongressi$a2000
610   $aIntelligenza artificiale$aCongressi$a2000
676   $a006.3
702  1$aRichter-Gebert,$bJurgen
710 12$aInternational workshop ADG 2000 <3. ; 2000 ; Zurich, Switzerland>$0552518
801  0$aITA$bCBS$gISBD
912   $a990000952890203316
951   $a006.3 LNIA (2061)$b0027268 CBS$c006.3$d00111041
959   $aBK
969   $aSCI
979   $aALANDI$b90$c20020208$lUSA01$h1248
979   $c20020403$lUSA01$h1738
979   $aPATRY$b90$c20040406$lUSA01$h1706
996   $aAutomated deduction in geometry$9973234
997   $aUNISA