01165nam a2200337 i 450099100077429970753620020507173421.0950825s1979 us ||| | eng 0121229505b1075538x-39ule_instLE01302112ExLDip.to Matematicaeng001.5519.4AMS 68N17Boyer, Robert S.41253A computational logic /Robert S. Boyer and J. Strother MooreNew York :Academic Press,c1979xiv, 397 p. ;24 cm.ACM monograph seriesBibliography: p. 385-387.Includes indexAutomatic theorem provingLogic programmingMoore, J. Strotherauthorhttp://id.loc.gov/vocabulary/relators/aut41254.b1075538x23-02-1728-06-02991000774299707536LE013 68N BOY11 (1979)12013000033976le013-E0.00-l- 00000.i1084960928-06-02Computational logic348082UNISALENTOle01301-01-95ma -engus 21