Interactive Theorem Proving
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.
- XVII, 642 p. 103 illus. online resource.
- Theoretical Computer Science and General Issues ; 10895 .
- Theoretical Computer Science and General Issues ; 10895 .
Acceso multiusuario
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
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.
QA8.9-10.3
005.131
Acceso multiusuario
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
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.
QA8.9-10.3
005.131
