FEEDBACK Smiley face
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 / [electronic resource] : edited by Jeremy Avigad, Assia Mahboubi. - 1st ed. 2018. - Cham : Springer International Publishing : Imprint: Springer, 2018. - XVII, 642 p. 103 illus. online resource. - Theoretical Computer Science and General Issues ; 10895 . - Theoretical Computer Science and General Issues ; 10895 .

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.

9783319948218

10.1007/978-3-319-94821-8 doi


Computer Science
Computer science.
Software engineering.
Artificial intelligence.
Logic design.
Computer system performance.
Mathematical Logic and Formal Languages.
Software Engineering.
Artificial Intelligence.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
System Performance and Evaluation.

QA8.9-QA10.3

005.131

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in