TÃtulo : |
Logic, Language, Information, and Computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings |
Tipo de documento: |
documento electrónico |
Autores: |
Moss, Lawrence S., ; de Queiroz, Ruy, ; Martinez, Maricarmen, |
Mención de edición: |
1 ed. |
Editorial: |
Berlin [Alemania] : Springer |
Fecha de publicación: |
2018 |
Número de páginas: |
XVIII, 325 p. 29 ilustraciones |
ISBN/ISSN/DL: |
978-3-662-57669-4 |
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: |
TeorÃa de las máquinas Inteligencia artificial Programación de computadoras Compiladores (programas informáticos) IngenierÃa de software Análisis numérico Lenguajes formales y teorÃa de los autómatas Técnicas de programación Compiladores e intérpretes |
Clasificación: |
5.131 |
Resumen: |
Editado en colaboración con FoLLI, la Asociación de Lógica, Lenguaje e Información, este libro constituye las actas arbitradas del 25º Taller sobre Lógica, Lenguaje, Información y Comunicación, WoLLIC 2018, celebrado en Bogotá, Colombia, en julio de 2018. Los 16 artÃculos completos juntos con 3 artÃculos breves y 3 charlas invitadas presentadas fueron completamente revisadas y seleccionadas entre 30 presentaciones. La visión de la conferencia es proporcionar un foro anual que sea lo suficientemente grande como para brindar interacciones significativas entre la lógica y las ciencias relacionadas con la información y la computación. |
Tipo de medio : |
Computadora |
Summary : |
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018. The 16 full papers together with 3 short papers and 3 invited talks presented were fully reviewed and selected from 30 submissions. The vision for the conference is to provide an annual forum which is large enough to provide meaningful interactions between logic and the sciences related to information and computation. |
Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Logic, Language, Information, and Computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings [documento electrónico] / Moss, Lawrence S., ; de Queiroz, Ruy, ; Martinez, Maricarmen, . - 1 ed. . - Berlin [Alemania] : Springer, 2018 . - XVIII, 325 p. 29 ilustraciones. ISBN : 978-3-662-57669-4 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: |
TeorÃa de las máquinas Inteligencia artificial Programación de computadoras Compiladores (programas informáticos) IngenierÃa de software Análisis numérico Lenguajes formales y teorÃa de los autómatas Técnicas de programación Compiladores e intérpretes |
Clasificación: |
5.131 |
Resumen: |
Editado en colaboración con FoLLI, la Asociación de Lógica, Lenguaje e Información, este libro constituye las actas arbitradas del 25º Taller sobre Lógica, Lenguaje, Información y Comunicación, WoLLIC 2018, celebrado en Bogotá, Colombia, en julio de 2018. Los 16 artÃculos completos juntos con 3 artÃculos breves y 3 charlas invitadas presentadas fueron completamente revisadas y seleccionadas entre 30 presentaciones. La visión de la conferencia es proporcionar un foro anual que sea lo suficientemente grande como para brindar interacciones significativas entre la lógica y las ciencias relacionadas con la información y la computación. |
Tipo de medio : |
Computadora |
Summary : |
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018. The 16 full papers together with 3 short papers and 3 invited talks presented were fully reviewed and selected from 30 submissions. The vision for the conference is to provide an annual forum which is large enough to provide meaningful interactions between logic and the sciences related to information and computation. |
Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |