帰納法を用いる定理証明システム (<特集>「人工知能と定理証明システム」)
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人人工知能学会の論文
- 1990-01-01
著者
関連論文
- NACLP '89の報告
- 部分計算
- 並列論理型言語GHCとそのプログラミング技術 (「第五世代コンピュータ」)
- 第5回ロジックプログラミング国際会議に出席して
- 部分評価と混合計算に関するワークショップに参加して
- プログラムを最適化するには--プログラム変換と並列プログラミング (並列知識情報処理--並列と推論)
- カウンタを用いたunfold/fold技法によるPrologプログラムの変換
- 帰納法を用いる定理証明システム (「人工知能と定理証明システム」)