LEADER 01266nam  2200373   450 
001 990000720860203316
010   $a3-540-52885-7
035   $a0072086
035   $aUSA010072086
035   $a(ALEPH)000072086USA01
035   $a0072086
100   $a20011107d1990----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $a10. International conference on automated deduction$eKaiserslautern, FRG, july 24-27, 1990$eproceedings$fM.E. Stickel
210   $aBerlin$cSpringer-Verlag$dc1990
215   $aXVI, 688 p$cill.$d24 cm
225 2 $aLectures notes in artificial intelligence$f449
410   $12001$aLectures notes in artificial intelligence$v449
606 0 $aLogica simbolica$xCongressi$z1990
676   $a511.3
702  1$aSTICKEL,$bM.E.
710 12$aInternational conference on automated deduction <10. ; 1990 ; Kaiserslautern>$0549451
801  0$aIT$bsalbc$gISBD
912   $a990000720860203316
951   $a511.3 INT$b11332 ING$c511.3
959   $aBK
969   $aTEC
979   $aPATTY$b90$c20011107$lUSA01$h1017
979   $c20020403$lUSA01$h1720
979   $aPATRY$b90$c20040406$lUSA01$h1650
996   $a10. International conference on automated deduction$9962667
997   $aUNISA