Información del autor
Autor de Queiroz, Ruy |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra Refinar búsqueda27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings / Silva, Alexandra ; Wassermann, Renata ; de Queiroz, Ruy
TÃtulo : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings Tipo de documento: documento electrónico Autores: Silva, Alexandra, ; Wassermann, Renata, ; de Queiroz, Ruy, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: VIII, 427 p. 53 ilustraciones, 5 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-88853-4 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: Lógica Clasificación: 160 Lógica Resumen: Editado en colaboración con FoLLI, la Asociación de Lógica, Lenguaje e Información, este libro constituye las actas arbitradas del 27º Taller sobre Lógica, Lenguaje, Información y Comunicación, WoLLIC 2021, evento virtual, en octubre de 2021. Los 25 artÃculos completos presentados incluyeron 6 Las conferencias invitadas fueron revisadas en su totalidad y seleccionadas entre 50 presentaciones. La idea es tener un foro 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. Nota de contenido: Logic -- Language -- Computation -- Proofs -- Formal Languages -- Category Theory -- Deduction systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings [documento electrónico] / Silva, Alexandra, ; Wassermann, Renata, ; de Queiroz, Ruy, . - 1 ed. . - [s.l.] : Springer, 2021 . - VIII, 427 p. 53 ilustraciones, 5 ilustraciones en color.
ISBN : 978-3-030-88853-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Lógica Clasificación: 160 Lógica Resumen: Editado en colaboración con FoLLI, la Asociación de Lógica, Lenguaje e Información, este libro constituye las actas arbitradas del 27º Taller sobre Lógica, Lenguaje, Información y Comunicación, WoLLIC 2021, evento virtual, en octubre de 2021. Los 25 artÃculos completos presentados incluyeron 6 Las conferencias invitadas fueron revisadas en su totalidad y seleccionadas entre 50 presentaciones. La idea es tener un foro 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. Nota de contenido: Logic -- Language -- Computation -- Proofs -- Formal Languages -- Category Theory -- Deduction systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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. 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: 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. 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.
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: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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 [...]
