1.

図書
図書
1. WAINS 7 : proceedings of the 7th International Workshop on Academic Information Networks and Systems : Joint study of global sharing of digital assets of scientific and cultural information : December 7-8, 2000, Kasetsart University, Bangkok, Thailand
小野欽司研究代表
出版情報: 東京 : 国立情報学研究所, 2000.12
所蔵情報: loading…
2.

図書
図書
2. 書き換えシステムの基本的性質の解明と定理の自動証明に関する研究
研究代表者:大山口通夫
出版情報: [津] : [大山口通夫], 2003.5
シリーズ名: 科学研究費補助金基盤研究(C)(2)研究成果報告書 ; 平成12年度〜平成14年度
所蔵情報: loading…