LEADER 01447nam a2200361 i 4500
001 991001341109707536
005 20020507191709.0
008 940520s1984    de            ||| | eng  
020   $a3540960228
035   $ab10834047-39ule_inst
035   $aLE01310795$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.3
084   $aAMS 68-06
084   $aAMS 68-XX
084   $aCR I.1
084   $aCR J.2
084   $aQA76.9.A96158
111 2 $aInternational conference on automated deduction <7. ; 1984 ; Napa, California>$0536790
245 10$a7th International Conference on Automated Deduction :$fNapa, California, USA, May 14-16, 1984 :$bproceedings /$ced. R. E. Shostak
246 10$aSeventh International Conference on Automated Deduction :$fNapa, California, USA, May 14-16, 1984 :$bproceedings
260   $aBerlin ; New York :$bSpringer-Verlag,$c1984
300   $avi, 508 p. :$bill. ;$c24 cm.
500   $aIncludes bibliographies
650  4$aAutomatic theorem proving$xCongresses
650  4$aSymbolic logic$xCongresses
700 1 $aShostak, Robert E.
907   $a.b10834047$b21-09-06$c28-06-02
912   $a991001341109707536
945   $aLE013 68-XX SHO11 (1984)$g1$i2013000142647$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10943316$z28-06-02
996   $a7th International Conference on Automated Deduction$9923620
997   $aUNISALENTO
998   $ale013$b01-01-94$cm$da  $e-$feng$gde $h4$i1