|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465701403316 |
|
|
Titolo |
Intelligent Computer Mathematics [[electronic resource] ] : 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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2016.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 163 p. 21 illus.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 9791 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
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 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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; |
|
|
|
|
| |