Interactive 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 /
Material type: TextSeries: Theoretical Computer Science and General Issues ; 10895Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Edition: 1st ed. 2018Description: XVII, 642 p. 103 illus. online resourceContent type:- text
- computer
- online resource
- 9783319948218
- 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
- 005.131 23
- QA267-268.5
No physical items for this record
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.
There are no comments on this title.