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. Idioma : Inglés (eng) 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. 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 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited lectures were fully reviewed and selected from 50 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. 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.
Idioma : Inglés (eng)
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. 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 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited lectures were fully reviewed and selected from 50 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. 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. 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 [...]
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 [...]
