Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Avigad, Jeremy (Editor, http://id.loc.gov/vocabulary/relators/edt), Mahboubi, Assia (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Theoretical Computer Science and General Issues ; 10895
• Subjects: Mathematical logic.; Software engineering.; Artificial intelligence.; Computer logic.; Programming languages (Electronic computers).; Computer system failures.; Mathematical Logic and Formal Languages.; Software Engineering.; Artificial Intelligence.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; System Performance and Evaluation.

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.