三重大学附属図書館 OPAC

三重県内(再検索必要)

同じキーワードで他のサイトを検索できます。

絞り込み検索

タイトル：

フルタイトル：

著者名：

出版者：

ISBN / ISSN / 書誌ID / 図書ID：

出版年：

主題：

請求記号：

所在：

言語：

選択:

検索結果: 3 件

1.

図書

図書

1. 書き換えシステムの基本的性質の解明と定理証明システムの高度化に関する研究

研究代表者大山口通夫

出版情報:	[津] : [大山口通夫], 2006.4
シリーズ名:	科学研究費補助金(基盤研究C)研究成果報告書 ; 平成15年度-17年度
子書誌情報:	loading…
所蔵情報:	loading…

2.

図書

図書

2. 書き換えシステムの基本的性質の解明と完備化手続きに関する研究

研究代表者大山口通夫

出版情報:	[津] : [大山口通夫], 1999.3
子書誌情報:	loading…
所蔵情報:	loading…

3.

図書

図書

3. 書き換えシステムの基本的性質の解明と関数型プログラムの評価戦略に関する研究

野口孝著

出版情報:	津 : [三重大学], [1995]
シリーズ名:	科学研究費補助金(一般研究C)研究成果報告書平成6年度 ; 05680272
子書誌情報:	loading…
所蔵情報:	loading…