Mechanized mathematics and its applications
9(1・2):2014.8
8(1):2010.3
7(1・2) 2008.9
1(1)-6(1) 20000600-20071100
資料に関する注記
所蔵巻次等：
刊行巻次：
休廃刊注記：
一般注記：
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。