13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / Benzmüller, Christoph ; Miller, Bruce  

Público ISBD Ningún comentario para este registro. Título : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings Tipo de documento: documento electrónico Autores: Benzmüller, Christoph, ; Miller, Bruce, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XI, 337 p. 445 ilustraciones, 54 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-53518-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: Ingeniería de software  Entornos informáticos  Inteligencia artificial  Aplicaciones informáticas y de sistemas de información  Redes de comunicación informática  Teoría de la Computación  Application software  Red informática  Informática  Ordenador Índice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas arbitradas de la 13.ª Conferencia Internacional sobre Matemáticas Informáticas Inteligentes, CICM 2020, celebrada en Bertinoro, Italia, en julio de 2020*. Los 15 artículos completos, 1 artículo invitado y 2 resúmenes de artículos invitados presentados fueron cuidadosamente revisados ​​y seleccionados de un total de 35 presentaciones. Los artículos se centran en los avances en la formalización y demostradores automatizados de teoremas, los sistemas de álgebra informática y sus bibliotecas, y las aplicaciones del aprendizaje automático, entre otros temas. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Nota de contenido: Invited Talks -- Full Papers -- System Descriptions and Datasets -- Abstracts of Invited Talks. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings [documento electrónico] / Benzmüller, Christoph, ; Miller, Bruce,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XI, 337 p. 445 ilustraciones, 54 ilustraciones en color. ISBN : 978-3-030-53518-6 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería de software  Entornos informáticos  Inteligencia artificial  Aplicaciones informáticas y de sistemas de información  Redes de comunicación informática  Teoría de la Computación  Application software  Red informática  Informática  Ordenador Índice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas arbitradas de la 13.ª Conferencia Internacional sobre Matemáticas Informáticas Inteligentes, CICM 2020, celebrada en Bertinoro, Italia, en julio de 2020*. Los 15 artículos completos, 1 artículo invitado y 2 resúmenes de artículos invitados presentados fueron cuidadosamente revisados ​​y seleccionados de un total de 35 presentaciones. Los artículos se centran en los avances en la formalización y demostradores automatizados de teoremas, los sistemas de álgebra informática y sus bibliotecas, y las aplicaciones del aprendizaje automático, entre otros temas. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Nota de contenido: Invited Talks -- Full Papers -- System Descriptions and Datasets -- Abstracts of Invited Talks. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

---

1 (1 - 1 / 1) Par page : 25 50 100 200