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. : CICM 2009 meeting : 16th symposium on the integration of symbolic computation & mechanized reasoning : 8th international conference on mathematical knowledge management : Calculemus/MKM 2009 : Jul 2009, Grand Bend, Canada.
(Lecture Notes in Computer Science ; 5625. Lecture Notes in Artificial Intelligence)
国立国会図書館請求記号
M17-10-751
国立国会図書館書誌ID
000010440688
資料種別
図書
著者
University of Western Ontario. Ontario Research Centre for Computer Algebra.ほか