Intelligent Computer Mathematics  International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /  [electronic resource] : 
edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge. 
 - XXI, 359 p. 84 illus.  online resource. 
 - Lecture Notes in Computer Science,  9150  0302-9743 ; .
 - Lecture Notes in Computer Science,  9150 .
<br/><br/>Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management -- Projects and Surveys -- Systems and Data. 
<br/><br/> This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data. 
<br/><br/><label>ISBN: </label>9783319206158 
<br/><br/><label>Standard No.: </label>10.1007/978-3-319-20615-8  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Mathematical logic.<br/>Computer science--Mathematics.<br/>Information storage and retrieval.<br/>Artificial intelligence.<br/>Text processing (Computer science).<br/>Computer Science.<br/>Math Applications in Computer Science.<br/>Artificial Intelligence (incl. Robotics).<br/>Symbolic and Algebraic Manipulation.<br/>Mathematical Logic and Formal Languages.<br/>Document Preparation and Text Processing.<br/>Information Storage and Retrieval.
<br/><br/><label>LC Class. No.: </label>QA76.9.M35 
<br/><br/><label>Dewey Class. No.: </label>004.0151