Search results for "定理の自動証明" | NDL Search

Search results 3

Group by title

Paper図書

大山口通夫, 三重大学 [著][大山口通夫]2003-2005<Y151-H15500009>

National Diet Library

Subject Heading項書き換えシステム / Church-Rosser (合流性) / 非線形TRS / 完備化手続き / 定理の自動証明 / 単一化 / 語問題 / 項合流性

Paper図書

大山口, 通夫, 三重大学2000-2002<Y151-H12680344>

National Diet Library

Subject Heading項書き換えシステム Church-Rosser (合流性) 非線形TRS 完備化手続き定理の自動証明単一化深さ保存性拡張危険対の完備化

Paper図書

米田, 信夫, 東京大学1985-1987<Y151-S60302009>

National Diet Library

Subject Heading圏論と計算機科学トポス関数型言語の処理機構 Modula-2 プログラムの自動合成定理の自動証明計算幾何学 V-論理類推の理論ペアノ算術系グラフの結...

Reached to the end of result.

RSS