LEADER 01165nam a2200337 i 4500
001 991000774299707536
005 20020507173421.0
008 950825s1979    us            ||| | eng  
020   $a0121229505
035   $ab1075538x-39ule_inst
035   $aLE01302112$9ExL
040   $aDip.to Matematica$beng
082 0 $a001.5
082 0 $a519.4
084   $aAMS 68N17
100 1 $aBoyer, Robert S.$041253
245 12$aA computational logic /$cRobert S. Boyer and J. Strother Moore
260   $aNew York :$bAcademic Press,$cc1979
300   $axiv, 397 p. ;$c24 cm.
490 0 $aACM monograph series
500   $aBibliography: p. 385-387.
500   $aIncludes index
650  4$aAutomatic theorem proving
650  4$aLogic programming
700 1 $aMoore, J. Strother$eauthor$4http://id.loc.gov/vocabulary/relators/aut$041254
907   $a.b1075538x$b23-02-17$c28-06-02
912   $a991000774299707536
945   $aLE013 68N BOY11 (1979)$g1$i2013000033976$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10849609$z28-06-02
996   $aComputational logic$9348082
997   $aUNISALENTO
998   $ale013$b01-01-95$cm$da  $e-$feng$gus $h2$i1