Automated Reasoning with Analytic Tableaux and Related Methods / Cerrito, Serenella ; Popescu, Andrei  

Público ISBD Ningún comentario para este título. Título : Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings Tipo de documento: documento electrónico Autores: Cerrito, Serenella, ; Popescu, Andrei, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXI, 477 p. 2851 ilustraciones, 28 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-29026-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Inteligencia artificial  Teoría de las máquinas  Informática  Ingeniería de software  Computadoras digitales electrónicas  Lenguajes formales y teoría de los autómatas  Aplicaciones matemáticas en informática  Rendimiento y evaluación del sistema Clasificación: 006.3 Resumen: Este libro constituye las actas de la 28.ª Conferencia Internacional sobre Razonamiento Automatizado con Cuadros Analíticos y Métodos Relacionados, TABLEAUX 2019, celebrada en Londres, Reino Unido, en septiembre de 2019, junto con el 12.º Simposio Internacional sobre Fronteras en la Combinación de Sistemas, FroCoS 2019. Los artículos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 43 presentaciones. Presentan investigaciones sobre todos los aspectos de la mecanización del razonamiento basado en cuadros y métodos relacionados, incluidos fundamentos teóricos, técnicas de implementación, desarrollo de sistemas y aplicaciones. Los artículos están organizados en las siguientes secciones temáticas: cálculos de cuadro, cálculos secuenciales, semántica y pruebas combinatorias, sistemas de prueba no bien fundamentados, demostradores de teoremas automatizados y lógica para la verificación de programas o sistemas. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019. The 25 full papers presented were carefully reviewed and selected from 43 submissions.They present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, semantics and combinatorial proofs, non-wellfounded proof systems, automated theorem provers, and logics for program or system verification. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings [documento electrónico] / Cerrito, Serenella, ; Popescu, Andrei,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XXI, 477 p. 2851 ilustraciones, 28 ilustraciones en color. ISBN : 978-3-030-29026-9 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Inteligencia artificial  Teoría de las máquinas  Informática  Ingeniería de software  Computadoras digitales electrónicas  Lenguajes formales y teoría de los autómatas  Aplicaciones matemáticas en informática  Rendimiento y evaluación del sistema Clasificación: 006.3 Resumen: Este libro constituye las actas de la 28.ª Conferencia Internacional sobre Razonamiento Automatizado con Cuadros Analíticos y Métodos Relacionados, TABLEAUX 2019, celebrada en Londres, Reino Unido, en septiembre de 2019, junto con el 12.º Simposio Internacional sobre Fronteras en la Combinación de Sistemas, FroCoS 2019. Los artículos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 43 presentaciones. Presentan investigaciones sobre todos los aspectos de la mecanización del razonamiento basado en cuadros y métodos relacionados, incluidos fundamentos teóricos, técnicas de implementación, desarrollo de sistemas y aplicaciones. Los artículos están organizados en las siguientes secciones temáticas: cálculos de cuadro, cálculos secuenciales, semántica y pruebas combinatorias, sistemas de prueba no bien fundamentados, demostradores de teoremas automatizados y lógica para la verificación de programas o sistemas. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019. The 25 full papers presented were carefully reviewed and selected from 43 submissions.They present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, semantics and combinatorial proofs, non-wellfounded proof systems, automated theorem provers, and logics for program or system verification. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200