LEADER 01428nam a2200349 i 4500
001 991000708509707536
005 20020507172544.0
008 940727s1984    us            ||| | eng  
020   $a082185027X
035   $ab1074616x-39ule_inst
035   $aLE01301044$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.3
084   $aAMS 03B35
084   $aAMS 68-XX
084   $aQA76.9.A96
111 2 $aSpecial session on Automatic theorem proving <1983 ; Denver>$0534748
245 10$aAutomated theorem proving :$bafter 25 years /$ceds. W. W. Bledsoe, D. W. Loveland
260   $aProvidence, R. I. :$bAmerican Mathematical Society,$c1984
300   $aix, 360 p. ;$c26 cm.
490 0 $aContemporary mathematics,$x0271-4132 ;$v29
500   $aIncludes bibliographies.
500   $a"Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"-T.p. verso
650  0$aAutomatic theorem proving$xCongresses
700 1 $aBledsoe, W. W.
700 1 $aLoveland, Donald W.
907   $a.b1074616x$b23-02-17$c28-06-02
912   $a991000708509707536
945   $aLE013 68-XX BLE11 (1984)$g1$i2013000001951$lle013$o-$pE0.00$q-$rl$s-  $t0$u1$v0$w1$x0$y.i10838429$z28-06-02
996   $aAutomated theorem proving$9910584
997   $aUNISALENTO
998   $ale013$b01-01-94$cm$da  $e-$feng$gus $h0$i1