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.
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
Índice Dewey:	006.3 Inteligencia artificial
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.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

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.

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
Índice Dewey:	006.3 Inteligencia artificial
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.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i