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.
Material type:
TextSeries: Lecture Notes in Artificial Intelligence ; 9791 | Lecture Notes in Computer Science ; 9791Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Edition: 1st ed. 2016Description: XIV, 163 p. 21 illus. online resourceContent type: - text
- computer
- online resource
- 9783319425474
- 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
- 006.3 23
- Q334-342
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK15008 |
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.
There are no comments on this title.