LEADER 01052nam--2200349---450-
001 990000358360203316
035   $a0035836
035   $aUSA010035836
035   $a(ALEPH)000035836USA01
035   $a0035836
100   $a20010314d1978----km-y0itay0103----ba
101   $aeng
102   $aNL
105   $a||||||||001yy
200 1 $aAutomated theorem provin$ea logical basis$fDonald W. Loveland
210   $aAmsterdam$cNorth-Holland$d1978
215   $aXII, 405 p.$cill.$d23 cm
225 2 $aFundamental studies in computer science$v6
410   $12001$aFundamental studies in computer science$v6
461  1$1001-------$12001
676   $a001.535
700  1$aLOVELAND,$bDonald W.$047020
801  0$aIT$bsalbc$gISBD
912   $a990000358360203316
951   $a001.535 LOV$b10805$c001.535$d00104992
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010314$lUSA01$h1224
979   $c20020403$lUSA01$h1643
979   $aPATRY$b90$c20040406$lUSA01$h1625
996   $aAutomated theorem provin$9876662
997   $aUNISA