Intelligent computer mathematics :  Calculemus, DML, MKM and systems and projects 2014, held as part of CICM 2014, Coimbra, Portugal, July 7-11, 2014. proceedings / 
[edited by] Stephen M. Watt...(et al) 
 - 1st edition. 
 - New York, N.Y. :  Springer-Verlag Berlin Heidelberg,  2014. 
 - xx,458p:ill; 24cm 
<br/><br/><label>ISBN: </label>9783319084336 (soft cover : alk. paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Algebra----Data processing----Congresses<br/>Mathematical analysis----Data processing----Congresses<br/>Logic,Symbolic and mathematical----Congresses
<br/><br/><label>LC Class. No.: </label>QA155.7.E4  / .I58     2014