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 /
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 2512-2029 ; .
- 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
Machine 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.
QA267-268.5
005.131
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
Machine 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.
QA267-268.5
005.131