Intelligent Computer Mathematics  9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /  [electronic resource] : 
edited by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa. 
 - XIV, 163 p. 21 illus.  online resource. 
 - Lecture Notes in Computer Science,  9791  0302-9743 ; .
 - Lecture Notes in Computer Science,  9791 .
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783319425474 
<br/><br/><label>Standard No.: </label>10.1007/978-3-319-42547-4  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Computer logic.<br/>Mathematical logic.<br/>Artificial intelligence.<br/>Computer simulation.<br/>Computer Science.<br/>Artificial Intelligence (incl. Robotics).<br/>Mathematical Logic and Formal Languages.<br/>Logics and Meanings of Programs.<br/>Software Engineering.<br/>Programming Languages, Compilers, Interpreters.<br/>Simulation and Modeling.
<br/><br/><label>LC Class. No.: </label>Q334-342 TJ210.2-211.495 
<br/><br/><label>Dewey Class. No.: </label>006.3