Interactive Theorem Proving [recurso electrónico] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk.
Tipo de material: TextoSeries Lecture Notes in Computer Science ; 6898Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Descripción: XI, 383 p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642228636Tema(s): Computer science | Software engineering | Logic design | Artificial intelligence | Computer Science | Logics and Meanings of Programs | Software Engineering | Mathematical Logic and Formal Languages | Programming Languages, Compilers, Interpreters | Artificial Intelligence (incl. Robotics) | Programming TechniquesFormatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 005.1015113 Clasificación LoC:QA76.9.L63QA76.5913QA76.63Recursos en línea: Libro electrónico En: Springer eBooksResumen: This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.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 | QA76.9 .L63 (Browse shelf(Abre debajo)) | 1 | No para préstamo | 376563-2001 |
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.
19