LEADER 01069nam--2200349---450-
001 990000350090203316
035   $a0035009
035   $aUSA010035009
035   $a(ALEPH)000035009USA01
035   $a0035009
100   $a20010306d1980----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aUsing sophisticated models in resolution theorem proving
210   $aBerlin$cSpringer Verlag$d1980
215   $aXI, 239 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v90
410   $12001$aLecture notes in computer science$v90
461  1$1001-------$12001
676   $a001.535
700  1$aSANDFORD,$bDavid M.$048555
801  0$aIT$bsalbc$gISBD
912   $a990000350090203316
951   $a001 LNCS 90$b001.535$c001 LNCS$d00101432
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010306$lUSA01$h1709
979   $c20020403$lUSA01$h1643
979   $aPATRY$b90$c20040406$lUSA01$h1624
996   $aUsing Sophisticated Models in Resolution Theorem Proving$9339676
997   $aUNISA