定理の証明・検索システムの研究

閲覧数: 4
ダウンロード数: 0
このエントリーをはてなブックマークに追加

定理の証明・検索システムの研究

フォーマット:
助成・補助金
Kyushu Univ. Production 九州大学成果文献
責任表示:
有川 節夫(九大・理・助教授)
本文言語:
日本語
研究期間:
1976-1977
本文を見る

類似資料:

6
離散的計算機数学の総合的研究 by 有川 節夫; ARIKAWA Setsuo
6.
離散的計算機数学の総合的研究 by 有川 節夫; ARIKAWA Setsuo
7.
類推を用いる知識情報処理システムの開発 by 有川 節夫; ARIKAWA Setsuo