TY  - BOOK
AU  - Avigad,Jeremy
AU  - Mahboubi,Assia
ED  - SpringerLink (Online service)
TI  - 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 
T2  - Theoretical Computer Science and General Issues
SN  - 9783319948218
AV  - QA8.9-10.3 
U1  - 005.131 23
PY  - 2018///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Mathematical logic
KW  - Software engineering
KW  - Artificial intelligence
KW  - Computer logic
KW  - Programming languages (Electronic computers)
KW  - Computer system failures
KW  - Mathematical Logic and Formal Languages
KW  - Software Engineering
KW  - Artificial Intelligence
KW  - Logics and Meanings of Programs
KW  - Programming Languages, Compilers, Interpreters
KW  - System Performance and Evaluation
N1  - Acceso multiusuario
N2  - 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
UR  - http://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-319-94821-8
ER  -