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 .
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783319948218 
<br/><br/><label>Standard No.: </label>10.1007/978-3-319-94821-8  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Machine theory.<br/>Software engineering.<br/>Artificial intelligence.<br/>Computer science.<br/>Compilers (Computer programs).<br/>Electronic digital computers--Evaluation.<br/>Formal Languages and Automata Theory.<br/>Software Engineering.<br/>Artificial Intelligence.<br/>Computer Science Logic and Foundations of Programming.<br/>Compilers and Interpreters.<br/>System Performance and Evaluation.
<br/><br/><label>LC Class. No.: </label>QA267-268.5 
<br/><br/><label>Dewey Class. No.: </label>005.131