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 / edited by Jeremy Avigad, Assia Mahboubi.
Contributor(s): Avigad, Jeremy [editor.]
| Mahboubi, Assia [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Theoretical Computer Science and General Issues: 10895Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Edition: 1st ed. 2018.Description: XVII, 642 p. 103 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319948218.Subject(s): 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 EvaluationAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.131 Online resources: Click here to access online
In:
Springer Nature eBookSummary: 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.
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 for this item.