Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Geuvers, Herman. (Editor ), England, Matthew. (Editor ), Hasan, Osman. (Editor ), Rabe, Florian. (Editor ), Teschke, Olaf. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Lecture Notes in Artificial Intelligence ; 10383
Materias:
Artificial intelligence.
Mathematical logic.
Computer logic.
Software engineering.
Programming languages (Electronic computers).
Computer simulation.
Artificial Intelligence.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Simulation and Modeling.
Acceso en línea:https://doi.org/10.1007/978-3-319-62075-6
LEADER 02411nam a22004575i 4500
001 978-3-319-62075-6
005 20191028131217.0
007 cr nn 008mamaa
008 170627s2017 gw | s |||| 0|eng d
020 |a 9783319620756 
024 7 |a 10.1007/978-3-319-62075-6  |2 doi 
040 |a Sistema de Bibliotecas del Tecnológico de Costa Rica 
245 1 0 |a Intelligent Computer Mathematics  |b 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /  |c edited by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke. 
250 |a 1st ed. 2017. 
260 # # |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2017. 
300 |a XVIII, 375 p. 81 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Artificial Intelligence ;  |v 10383 
505 0 |a 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. 
650 0 |a Artificial intelligence. 
650 0 |a Mathematical logic. 
650 0 |a Computer logic. 
650 0 |a Software engineering. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Computer simulation. 
650 1 4 |a Artificial Intelligence. 
650 2 4 |a Mathematical Logic and Formal Languages. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Software Engineering. 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
650 2 4 |a Simulation and Modeling. 
700 1 |a Geuvers, Herman.  |e editor.  |0 (orcid)0000-0003-2522-2980  |1 https://orcid.org/0000-0003-2522-2980 
700 1 |a England, Matthew.  |e editor.  |0 (orcid)0000-0001-5729-3420  |1 https://orcid.org/0000-0001-5729-3420 
700 1 |a Hasan, Osman.  |e editor.  |0 (orcid)0000-0003-2562-2669  |1 https://orcid.org/0000-0003-2562-2669 
700 1 |a Rabe, Florian.  |e editor. 
700 1 |a Teschke, Olaf.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
856 4 0 |u https://doi.org/10.1007/978-3-319-62075-6 

Ejemplares similares