Knuth-Bendixの完備化手続きとその応用
スポンサーリンク
概要
- 論文の詳細を見る
- 日本ソフトウェア科学会の論文
- 1987-01-14
著者
関連論文
- E単一化子の完全集合を求める推論規則
- 項書換えシステム「Metis」の実装
- 人工知能におけるアルゴリズム (最近のアルゴリズム特集) -- (情報・システム)
- 「パズルの挑戦!」解答と講評
- AI入門-15-定理証明技術
- AI入門-14-数学とAI
- 項書換えシステム
- 証明支援システムCAP (「人工知能と定理証明システム」)
- Workshop on Languages and Constraintsの報告
- Knuth-Bendixの完備化手続きとその応用
- INCORPORATING NAIVE NEGATION INTO PROLOG
- 正規論理とそのmodelについて(計算機構に関する数学的基礎理論とその応用)
- パズルの挑戦! 講評
- 超数学と言語 (ゲ-デル)
- 論理プログラミング--PROLOGと論理 (応用論理)