Información del autor
Autor Popescu, Andrei |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsquedaAutomated Reasoning with Analytic Tableaux and Related Methods / Cerrito, Serenella ; Popescu, Andrei
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 [...]
TÃtulo : Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings Tipo de documento: documento electrónico Autores: Herzig, Andreas, ; Popescu, Andrei, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XX, 365 p. 564 ilustraciones, 6 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-29007-8 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 Ciencias de la Computación Algoritmos IngenierÃa de software Simulación por ordenador Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Modelado por computadora Clasificación: 006.3 Resumen: Este libro constituye las actas del 12.º Simposio Internacional sobre Fronteras de la Combinación de Sistemas, FroCoS 2019, celebrado en Londres, Reino Unido, en septiembre de 2019, junto con la 28.ª Conferencia Internacional sobre Razonamiento Automatizado con Cuadros AnalÃticos y Métodos Relacionados, TABLEAUX 2019. Los artÃculos presentados fueron cuidadosamente revisados ​​y seleccionados entre 30 presentaciones. Presentan investigaciones sobre el desarrollo de técnicas y métodos para la combinación e integración de sistemas formales, su modularización y análisis. Los artÃculos están organizados en las siguientes secciones temáticas: demostración automatizada de teoremas y construcción de modelos, combinaciones de sistemas, resolución de restricciones, lógicas de descripción, demostración interactiva de teoremas, lógica modal y epistémica, y reescritura y unificación. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019. The 20 papers presented were carefully reviewed and selected from 30 submissions. They present research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The papers are organized in the following topical sections: automated theorem proving and model building, combinations of systems, constraint solving, description logics, interactive theorem proving, modal and epistemic logics, and rewriting and unification. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings [documento electrónico] / Herzig, Andreas, ; Popescu, Andrei, . - 1 ed. . - [s.l.] : Springer, 2019 . - XX, 365 p. 564 ilustraciones, 6 ilustraciones en color.
ISBN : 978-3-030-29007-8
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 Ciencias de la Computación Algoritmos IngenierÃa de software Simulación por ordenador Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Modelado por computadora Clasificación: 006.3 Resumen: Este libro constituye las actas del 12.º Simposio Internacional sobre Fronteras de la Combinación de Sistemas, FroCoS 2019, celebrado en Londres, Reino Unido, en septiembre de 2019, junto con la 28.ª Conferencia Internacional sobre Razonamiento Automatizado con Cuadros AnalÃticos y Métodos Relacionados, TABLEAUX 2019. Los artÃculos presentados fueron cuidadosamente revisados ​​y seleccionados entre 30 presentaciones. Presentan investigaciones sobre el desarrollo de técnicas y métodos para la combinación e integración de sistemas formales, su modularización y análisis. Los artÃculos están organizados en las siguientes secciones temáticas: demostración automatizada de teoremas y construcción de modelos, combinaciones de sistemas, resolución de restricciones, lógicas de descripción, demostración interactiva de teoremas, lógica modal y epistémica, y reescritura y unificación. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019. The 20 papers presented were carefully reviewed and selected from 30 submissions. They present research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The papers are organized in the following topical sections: automated theorem proving and model building, combinations of systems, constraint solving, description logics, interactive theorem proving, modal and epistemic logics, and rewriting and unification. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
