Bild från Syndetics
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.
Materialtyp:
TextSerie: Theoretical Computer Science and General Issues ; 10895Utgivningsuppgift: Cham : Springer International Publishing : Imprint: Springer, 2018Utgåva: 1st ed. 2018Beskrivning: 1 online resource (XVII, 642 p. 103 illus.)Innehållstyp: - 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
Inga fysiska exemplar för denna post
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.
Print version record.
Licensed e-book