01730nam 2200541 a 450 991044998770332120200520144314.00-8262-6225-2(CKB)1000000000005243(OCoLC)613389650(CaPaEBR)ebrary10001686(SSID)ssj0000203629(PQKBManifestationID)11181124(PQKBTitleCode)TC0000203629(PQKBWorkID)10132628(PQKB)10580384(MiAaPQ)EBC3570658(Au-PeEL)EBL3570658(CaPaEBR)ebr10001686(OCoLC)57410789(EXLCZ)99100000000000524320000105d2000 ub 0engurcn|||||||||txtccrMissouri's Confederate[electronic resource] Claiborne Fox Jackson and the creation of southern identity in the border West /Christopher PhillipsColumbia University of Missouri Pressc20001 online resource (360 p.) Missouri biography seriesBibliographic Level Mode of Issuance: Monograph0-8262-1272-7 Includes bibliographical references (p. 297-323) and index.Missouri biography series.GovernorsMissouriBiographyMissouriPolitics and government1861-1865Electronic books.Governors977.8/03Phillips Christopher1959-741505MiAaPQMiAaPQMiAaPQBOOK9910449987703321Missouri's Confederate1996173UNINA03494nam 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