Intelligent computer mathematics 16th symposium, Calculemus 2009 ; 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6-12, 2009 ; proceedings /
Intelligent computer mathematics 16th symposium, Calculemus 2009 ; 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6-12, 2009 ; proceedings / [electronic resource] :
edited by Jacques Carette ... [et al.].
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
- xix, 491 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5625 0302-9743 ; .
9783642026140 (electronic bk.) 9783642026133 (paper)
Algebra--Data processing--Congresses.
Mathematical analysis--Data processing--Congresses.
Logic, Symbolic and mathematical--Congresses.
Knowledge management--Congresses.
Symbolic and Algebraic Manipulation.
Numeric Computing.
Information Systems Applications (incl.Internet)
Data Mining and Knowledge Discovery.
Computer Communication Networks.
Computer Science.
Artificial Intelligence (incl. Robotics)
QA155.7.E4 / C35 2009
512
9783642026140 (electronic bk.) 9783642026133 (paper)
Algebra--Data processing--Congresses.
Mathematical analysis--Data processing--Congresses.
Logic, Symbolic and mathematical--Congresses.
Knowledge management--Congresses.
Symbolic and Algebraic Manipulation.
Numeric Computing.
Information Systems Applications (incl.Internet)
Data Mining and Knowledge Discovery.
Computer Communication Networks.
Computer Science.
Artificial Intelligence (incl. Robotics)
QA155.7.E4 / C35 2009
512