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. |
Idioma : |
Inglés (eng) |
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: |
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 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. |
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 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with 6 invited lectures presented were fully reviewed and selected from 60 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants. |
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. Idioma : Inglés ( eng)
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: |
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 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. |
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 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with 6 invited lectures presented were fully reviewed and selected from 60 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants. |
Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |