Intelligent computer mathematics : 9th international conference, AISC 2008 : 15th symposium, Calculemus 2008 : 7th international conference, MKM 2008 : Birmingham, UK, July 28-August 1, 2008 : proceedings. : 9th international conference on artificial intelligence and symbolic computation : 15th symposium on the integration of symbolic computation and mechanized reasoning : 7th international conference on mathematical knowledge management : AISC/Calculemus/MKM 2008 : Jul 2008, Birmingham, UK. (Lecture Notes in Computer Science ; 5144. Lecture Notes in Artificial Intelligence)
資料に関する注記
一般注記:
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。