资源描述:
《First Order Logic and Automated Theorem Proving》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、TEXTSANDMONOGRAPHSINCOMPUTERSCIENCEFIRST-ORDERLOGICANDAUTOMATEDTHEOREMPROVINGMelvinFittingtSpringer-VerlagTextsandMonographsinComputerScienceEditorDavidGriesAdvisoryBoardF.L.BauerS.D.BrookesC.E.LeisersonF.B.SchneiderM.SipserTextsandMonographsinComputerScienceSuadAlagi6Objec
2、t-OrientedDatabaseProgramming1989.XV,320pages,84illus.SuadAlagi6RelationalDatabaseTechnology1986.XI,259pages,114illus.SuadAlagi6andMichaelA.ArbibTheDesignorWell-StructuredandCorrectPrograms1978.X,292pages,68illus.S.ThomasAlexanderAdaptiveSignalProcessing:TheoryandApplicatio
3、ns1986.IX,179pages,42illus.MichaelA.Arbib,A.J.Kfoury,andRobertN.MollABasisforTheoreticalComputerScience1981.VITI,220pages,49illus.FriedrichL.BauerandHansWossnerAlgorithmicLanguageandProgramDevelopment1982.XVI,497pages,109illus.KaareChristianAGuidetoModula-21986.XIX,436pages
4、,46illus.BdsgerW.DijkstraSelectedWritingsonComputing:APersonalPerspective1982.XVII,362pages,13illus.BdsgerW.DijkstraandCarelS.ScholtenPredicateCalculusandProgramSemantics1990.XII,220pages.MelvinFittingFirst-OrderLogicandAutomatedTheoremProving1990.XIV,242pages,26illus.Nissi
5、mFrancezFairness1986.XIII,295pages,147illus.R.T.GregoryandB.V.KrishnamurthyMethodsandApplicationsofError-FreeComputation1984.XII,194pages,1illus.MelvinFittingFirst-OrderLogicandAutomatedTheoremProvingWith26IllustrationsSpringer-VerlagNewYorkBerlinHeidelbergLondonParisTokyoH
6、ongKongMelvinFittingDepartmentofMathematicsandComputerScienceLehmanCollegeCityUniversityofNewYorkBedfordParkBoulevardWestBronx,NY10468-1589U.S.A.SeriesEditorDavidGriesDepartmentofComputerScienceCornellUniversityIthaca,NY14853U.S.A.LibraryofCongressCataloging-inPublicationDa
7、taFitting,Melvin,1942-First-orderlogicandautomatedtheoremprovingIMelvinFitting.p.em.-(Textsandmonographsincomputerscience)Includesbibliographicalreferences.ISBN0-387-97233-1(alk.paper)1.Automatedtheoremproving.2.Logic,Symbolicandmathematical.I.Title.II.Series.QA76.9.A96F681
8、990511.3-dc2089-26321Printedonacid-freepaper.@1990bySpringer-VerlagNewYork,Inc.All