1.

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

図書
図書
2. 前近代日本史料の構造と情報資源化の研究
研究代表者 石上英一
出版情報: [東京] : 石上英一, 2005.3
所蔵情報: loading…
3.

図書
図書
3. イーリサーチとオープンアクセス環境下における学術コミュニケーションの総合的研究 : 平成23-25年度科学研究費補助金基盤研究(B)研究成果報告会発表要綱
研究代表者 倉田敬子
出版情報: [出版地不明] : [出版者不明], 2014.2
所蔵情報: loading…
4.

図書
図書
4. 書き換えシステムの基本的性質の解明と完備化手続きに関する研究
研究代表者 大山口通夫
出版情報: [津] : [大山口通夫], 1999.3
所蔵情報: loading…
5.

図書
図書
5. 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…
6.

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

図書
図書
7. 東アジア文字データの国際交換に関する実証研究
山田尚勇研究代表者 ; 学術情報センター編集
出版情報: 東京 : 学術情報センター, 1992.3
所蔵情報: loading…
8.

図書
図書
8. 並列プログラミング言語の設計とその意味論並びに正当性検証に関する研究
大山口道夫著
出版情報: 津 : [三重大学], 1993
シリーズ名: 科学研究費補助金(一般研究C)研究成果報告書 平成4年度 ; 02680022
所蔵情報: loading…
9.

図書
図書
9. 書き換えシステムの基本的性質の解明と関数型プログラムの評価戦略に関する研究
野口孝著
出版情報: 津 : [三重大学], [1995]
シリーズ名: 科学研究費補助金(一般研究C)研究成果報告書 平成6年度 ; 05680272
所蔵情報: loading…
10.

図書
図書
10. 高等教育における情報リテラシー格差是正に資する研究 (1 ; 2)
加納寛子研究代表
出版情報: [山形] : [加納寛子], 2008.3-2009.3
シリーズ名: 科学研究費補助金(若手研究(B))研究成果報告書 ; 平成19年度～平成21年度
所蔵情報: loading…