導出原理による定理証明
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1981-11-15
著者
関連論文
- 帰納推論による論理プログラムと規則性の学習
- 遺伝的探索に基づく"虫"の進化(1) : ビジュアライズによる行動解析
- 日本語の構文解析(日本語情報処理)
- 拡張述語言語ALLインタプリタの実現
- 進化論的手法によるブール関数の学習について
- 第一階コンパイラ (プログラム合成/変換)
- 大特集「数式処理」の編集にあたって
- 論理プログラムの等価変換とプログラム合成問題への応用
- ソフトウェア基礎論
- Prolog の知的プログラミング環境 (プログラミング言語 Prolog)
- 82-2 高能率RUE導出法
- 導出原理による定理証明
- 76-06 道化師の小世界に関連した英文の意味的解析
- 1階述語言語の逐次漸近標準形について(数式処理と数学研究への応用)
- 一階述語インタプリタのアルゴリズム(数式処理と数学研究への応用)