Intelligent Computer Mathematics / Geuvers, Herman ; England, Matthew ; Hasan, Osman ; Rabe, Florian ; Teschke, Olaf  

Público ISBD Ningún comentario para este registro. Título : Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings Tipo de documento: documento electrónico Autores: Geuvers, Herman, ; England, Matthew, ; Hasan, Osman, ; Rabe, Florian, ; Teschke, Olaf, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVIII, 375 p. 81 ilustraciones ISBN/ISSN/DL: 978-3-319-62075-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: Inteligencia artificial  Ingeniería de software  Compiladores e intérpretes  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Compiladores (programas informáticos)  Informática  Teoría de las máquinas  Modelado por computadora  Simulación por ordenador Índice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas arbitradas de la Décima Conferencia Internacional sobre Matemáticas Informáticas Inteligentes, CICM 2017, celebrada en Edimburgo, Escocia, en julio de 2017. Los 22 artículos completos y 3 resúmenes de artículos invitados presentados fueron cuidadosamente revisados ​​y seleccionados de un total de 40 presentaciones. Los artículos están organizados en tres vías: la vía de Calculemus que examina la integración de la computación simbólica y el razonamiento mecanizado; la pista de Bibliotecas de Matemáticas Digitales que se ocupa de tecnologías, estándares, algoritmos y procesos relacionados con las matemáticas; la pista de Gestión del conocimiento matemático se ocupa de todos los aspectos de la gestión del conocimiento matemático, en entornos informales, semiformales y formales. Una pista adicional, Sistemas y proyectos, contiene descripciones de sistemas y proyectos relevantes, los cuales son clave para un tema de investigación donde la teoría y la práctica interactúan en el conocimiento representado explícitamente. Nota de contenido: Calculemus track: integration of symbolic computation and mechanized reasoning -- Digital Mathematics Libraries track: math-aware technologies, standards, algorithms, and processes -- Mathematical Knowledge Management track: aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings -- Systems and Projects track: descriptions of systems and relevant projects as keys research topics. 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 Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings [documento electrónico] / Geuvers, Herman, ; England, Matthew, ; Hasan, Osman, ; Rabe, Florian, ; Teschke, Olaf,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XVIII, 375 p. 81 ilustraciones. ISBN : 978-3-319-62075-6 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Inteligencia artificial  Ingeniería de software  Compiladores e intérpretes  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Compiladores (programas informáticos)  Informática  Teoría de las máquinas  Modelado por computadora  Simulación por ordenador Índice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas arbitradas de la Décima Conferencia Internacional sobre Matemáticas Informáticas Inteligentes, CICM 2017, celebrada en Edimburgo, Escocia, en julio de 2017. Los 22 artículos completos y 3 resúmenes de artículos invitados presentados fueron cuidadosamente revisados ​​y seleccionados de un total de 40 presentaciones. Los artículos están organizados en tres vías: la vía de Calculemus que examina la integración de la computación simbólica y el razonamiento mecanizado; la pista de Bibliotecas de Matemáticas Digitales que se ocupa de tecnologías, estándares, algoritmos y procesos relacionados con las matemáticas; la pista de Gestión del conocimiento matemático se ocupa de todos los aspectos de la gestión del conocimiento matemático, en entornos informales, semiformales y formales. Una pista adicional, Sistemas y proyectos, contiene descripciones de sistemas y proyectos relevantes, los cuales son clave para un tema de investigación donde la teoría y la práctica interactúan en el conocimiento representado explícitamente. Nota de contenido: Calculemus track: integration of symbolic computation and mechanized reasoning -- Digital Mathematics Libraries track: math-aware technologies, standards, algorithms, and processes -- Mathematical Knowledge Management track: aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings -- Systems and Projects track: descriptions of systems and relevant projects as keys research topics. 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