02867nam 22007215 450 99646569680331620230330060107.03-319-94821-010.1007/978-3-319-94821-8(CKB)3850000000034637(DE-He213)978-3-319-94821-8(MiAaPQ)EBC6286358(PPN)229502407(EXLCZ)99385000000003463720180703d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierInteractive Theorem Proving[electronic resource] 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /edited by Jeremy Avigad, Assia Mahboubi1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XVII, 642 p. 103 illus.) Theoretical Computer Science and General Issues,2512-2029 ;108953-319-94820-2 Includes bibliographical references and index.Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Theoretical Computer Science and General Issues,2512-2029 ;10895Machine theorySoftware engineeringArtificial intelligenceComputer scienceCompilers (Computer programs)Electronic digital computers—EvaluationFormal Languages and Automata TheorySoftware EngineeringArtificial IntelligenceComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersSystem Performance and EvaluationMachine theory.Software engineering.Artificial intelligence.Computer science.Compilers (Computer programs).Electronic digital computers—Evaluation.Formal Languages and Automata Theory.Software Engineering.Artificial Intelligence.Computer Science Logic and Foundations of Programming.Compilers and Interpreters.System Performance and Evaluation.004.015113Avigad Jeremyedthttp://id.loc.gov/vocabulary/relators/edtMahboubi Assiaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465696803316Interactive Theorem Proving2010767UNISA