TY  - BOOK
AU  - Watt,stephen M.
ED  - International Conference,CICM(2014:Coimbra, Portugal)
TI  - Intelligent computer mathematics: Calculemus, DML, MKM and systems and projects 2014, held as part of CICM 2014, Coimbra, Portugal, July 7-11, 2014. proceedings 
SN  - 9783319084336 (soft cover : alk. paper)
AV  - QA155.7.E4 .I58     2014
PY  - 2014///
CY  - New York, N.Y.
PB  - Springer-Verlag Berlin Heidelberg
KW  - Algebra
KW  - --Data processing
KW  - --Congresses
KW  - Mathematical analysis
KW  - Logic,Symbolic and mathematical
ER  -