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 Media type: computer Carrier type: online resourceISBN: 9783319425474Subject(s): 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 ModelingAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 006.3 LOC classification: Q334-342Online resources: Click here to access online In: Springer Nature eBookSummary: 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.Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | 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.