01130nam a2200301 i 450099100140811970753620020507192926.0970709s1970 de ||| | eng b10843486-39ule_instLE01311827ExLDip.to Matematicaeng511.3AMS 03-06Laudet, M.48503Symposium on automatic demonstration /edited by M. Laudet ... [et. al.]Berlin ; New York :Springer-Verlag,1970310 p. ;26 cmLecture notes in mathematics,0075-8434 ;125English or French.Includes bibliographiesAutomatic theorem provingCongressesSymposium on automatic demonstration <1968 ; Versailles>.b1084348623-02-1728-06-02991001408119707536LE013 03-XX LAU11 (1970)12013000089034le013-E0.00-l- 00000.i1095368128-06-02Symposium on automatic demonstration919209UNISALENTOle01301-01-97ma -engde 01