Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / / edited by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / / edited by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Edizione: | 1st ed. 2016. |
| Descrizione fisica: | 1 online resource (XIV, 163 p. 21 illus.) |
| Disciplina: | 004.0151 |
| Soggetto topico: | Artificial intelligence |
| Machine theory | |
| Computer science | |
| Software engineering | |
| Compilers (Computer programs) | |
| Computer simulation | |
| Artificial Intelligence | |
| Formal Languages and Automata Theory | |
| Computer Science Logic and Foundations of Programming | |
| Software Engineering | |
| Compilers and Interpreters | |
| Computer Modelling | |
| Persona (resp. second.): | KohlhaseMichael |
| JohanssonMoa | |
| MillerBruce | |
| de MouraLeonardo | |
| TompaFrank | |
| Sommario/riassunto: | This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016. The 10 full papers and 2 short papers presented were carefully reviewed and selected from a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data. |
| Titolo autorizzato: | Intelligent Computer Mathematics |
| ISBN: | 3-319-42547-1 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910483469703321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Artificial Intelligence, . 2945-9141 ; ; 9791