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.
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
Índice Dewey:	006.3 Inteligencia artificial
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.
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

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.

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
Índice Dewey:	006.3 Inteligencia artificial
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.
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