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.
Tipo de material: TextoSeries Theoretical Computer Science and General Issues ; 10895Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Edición: 1st ed. 2018Descripción: XVII, 642 p. 103 illus. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783319948218Tema(s): Mathematical logic | Software engineering | Artificial intelligence | Computer logic | Programming languages (Electronic computers) | Computer system failures | Mathematical Logic and Formal Languages | Software Engineering | Artificial Intelligence | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | System Performance and EvaluationFormatos físicos adicionales: Printed edition:: Sin título; Printed edition:: Sin títuloClasificación CDD: 005.131 Clasificación LoC:QA8.9-10.3Recursos en línea: Libro electrónico En: Springer Nature eBookResumen: 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.Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | 1 | No para préstamo |
Acceso multiusuario
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.
UABC ; Temporal ; 01/01/2021-12/31/2023.