LEADER 01118nam  2200349   450 
001 990000483280203316
035   $a0048328
035   $aUSA010048328
035   $a(ALEPH)000048328USA01
035   $a0048328
100   $a20010530d1982----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $a6th Conference on automated deduction$eNew York, USA, june 7-9, 1982$fedited by D.W. Loveland
210   $aBerlin$cSpringer Verlag$d1982
215   $aVII, 389 p.$d24 cm
225 2 $aLecture notes in computer science$v138
410   $12001$aLecture notes in computer science$v138
676   $a519.4
702  1$aLOVELAND,$bD.W.
710 12$aConference on automated deduction <6.; 1982; New York>$0545522
801  0$aIT$bsalbc$gISBD
912   $a990000483280203316
951   $a001 LNCS 138$b4170 SM$c001 LNCS$d00101505
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010530$lUSA01$h1612
979   $c20020403$lUSA01$h1657
979   $aPATRY$b90$c20040406$lUSA01$h1633
996   $a6th Conference on automated deduction$9888411
997   $aUNISA