01447nam a2200361 i 450099100134110970753620020507191709.0940520s1984 de ||| | eng 3540960228b10834047-39ule_instLE01310795ExLDip.to Matematicaeng511.3AMS 68-06AMS 68-XXCR I.1CR J.2QA76.9.A96158International conference on automated deduction <7. ; 1984 ; Napa, California>5367907th International Conference on Automated Deduction :Napa, California, USA, May 14-16, 1984 :proceedings /ed. R. E. ShostakSeventh International Conference on Automated Deduction :Napa, California, USA, May 14-16, 1984 :proceedingsBerlin ; New York :Springer-Verlag,1984vi, 508 p. :ill. ;24 cm.Includes bibliographiesAutomatic theorem provingCongressesSymbolic logicCongressesShostak, Robert E..b1083404721-09-0628-06-02991001341109707536LE013 68-XX SHO11 (1984)12013000142647le013-E0.00-l- 00000.i1094331628-06-027th International Conference on Automated Deduction923620UNISALENTOle01301-01-94ma -engde 41