Mechanized Mathematics and Its Applications

プロバイダー/パッケージ名
本文言語
アクセスモデル
資料種別
カバー範囲
出版者
Mizar Japan (信州大学)
プリント版ISSN / プリント版ISBN
1345-8272
最古オンライン巻号の出版年月日
2000
最新オンライン巻号の出版年月日
2014
提供最古巻
1
提供最古号
1
提供最新巻
9
提供最新号
1-2

コメントを追加

依頼種別
例:最古オンライン巻号の出版年月日を1986-03に修正