03494nam 22008413u 450 991049102570332120240402152634.03-030-79876-3(CKB)5590000000532393EBL6676599(AU-PeEL)EBL6676599(oapen)https://directory.doabooks.org/handle/20.500.12854/71322(MiAaPQ)EBC6676599(PPN)258303573(EXLCZ)99559000000053239320220617d2021|||| u|| |engur|n|---|||||txtrdacontentcrdamediacrrdacarrierAutomated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, ProceedingsCham Springer International Publishing AG20211 online resource (655 p.)Lecture Notes in Computer Science ;v.12699Description based upon print version of record.3-030-79875-5 This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.Lecture Notes in Computer ScienceAutomated Deduction – CADE 28Automated Deduction - CADE 28Artificial intelligencebicsscMathematical theory of computationbicsscComputer programming / software developmentbicsscSoftware EngineeringbicsscArtificial IntelligenceMathematical Logic and Formal LanguagesLogics and Meanings of ProgramsSoftware EngineeringFormal Languages and Automata TheoryComputer Science Logic and Foundations of Programmingautomata theoryboolean functionscomputer programmingfirst order logicformal languagesformal logiclogic programmingmodel checkingprogram verificationsemanticssoftware architecturesoftware designsoftware qualitysoftware verificationtheorem proverstheorem provingMathematical theory of computationComputer programming / software engineeringComputer architecture & logic designArtificial intelligenceMathematical theory of computationComputer programming / software developmentSoftware EngineeringPlatzer André998008Sutcliffe Geoff1235917AU-PeELAU-PeELAU-PeELBOOK9910491025703321Automated Deduction - CADE 282870259UNINA