| 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 |
| Clasificación: |
|
| 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. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
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. |  |
Crear una solicitud de compra Refinar búsqueda13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / Benzmüller, Christoph ; Miller, Bruce
