81-17 事実から定理を帰納するアルゴリズム
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1982-06-15
著者
関連論文
- 90-10 判決例の説明の表現と再利用
- 86-27 知識ベースに基づく電子機器使用の故障診断
- 85-15 PROLOGによる複数の値の表現構造
- 後藤滋樹 著, "PROLOG 入門", サイエンス社, B5判, 186p., \1,800, 1984
- 83-4 ロジックによるロジックのコントロール
- 81-19 並列プログラミングのための関係型言語
- 81-18 ロジックプログラミングとコンパイラの記述
- 81-17 事実から定理を帰納するアルゴリズム
- 76-27 プログラムのデータ・フローを解析する手続き
- 並列 Prolog (プログラミング言語 Prolog)