TÃtulo : |
Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings |
Tipo de documento: |
documento electrónico |
Autores: |
Iemhoff, Rosalie, ; Moortgat, Michael, ; de Queiroz, Ruy, |
Mención de edición: |
1 ed. |
Editorial: |
Berlin [Alemania] : Springer |
Fecha de publicación: |
2019 |
Número de páginas: |
XXI, 662 p. 1480 ilustraciones, 29 ilustraciones en color. |
ISBN/ISSN/DL: |
978-3-662-59533-6 |
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: |
TeorÃa de las máquinas Ciencias de la Computación Algoritmos IngenierÃa de software Inteligencia artificial Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación |
Clasificación: |
|
Resumen: |
Editado en colaboración con FoLLI, la Asociación de Lógica, Lenguaje e Información, este libro constituye las actas arbitradas del 26º Taller sobre Lógica, Lenguaje, Información y Comunicación, WoLLIC 2019, celebrado en Utrecht, PaÃses Bajos, en julio de 2019. Los 41 completos Los artÃculos junto con 6 conferencias invitadas presentadas fueron completamente revisados ​​y seleccionados entre 60 presentaciones. La idea es tener un foro que sea lo suficientemente grande en el número de interacciones posibles entre la lógica y las ciencias relacionadas con la información y la computación, y sin embargo sea lo suficientemente pequeño como para permitir una interacción concreta y útil entre los participantes. |
Nota de contenido: |
Formal Logic. Computing. Programming Theory -- Natural Language -- Reasoning. |
Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings [documento electrónico] / Iemhoff, Rosalie, ; Moortgat, Michael, ; de Queiroz, Ruy, . - 1 ed. . - Berlin [Alemania] : Springer, 2019 . - XXI, 662 p. 1480 ilustraciones, 29 ilustraciones en color. ISBN : 978-3-662-59533-6 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: |
TeorÃa de las máquinas Ciencias de la Computación Algoritmos IngenierÃa de software Inteligencia artificial Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación |
Clasificación: |
|
Resumen: |
Editado en colaboración con FoLLI, la Asociación de Lógica, Lenguaje e Información, este libro constituye las actas arbitradas del 26º Taller sobre Lógica, Lenguaje, Información y Comunicación, WoLLIC 2019, celebrado en Utrecht, PaÃses Bajos, en julio de 2019. Los 41 completos Los artÃculos junto con 6 conferencias invitadas presentadas fueron completamente revisados ​​y seleccionados entre 60 presentaciones. La idea es tener un foro que sea lo suficientemente grande en el número de interacciones posibles entre la lógica y las ciencias relacionadas con la información y la computación, y sin embargo sea lo suficientemente pequeño como para permitir una interacción concreta y útil entre los participantes. |
Nota de contenido: |
Formal Logic. Computing. Programming Theory -- Natural Language -- Reasoning. |
Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |