Workshop on Languages and Constraintsの報告

スポンサーリンク

概要

• 論文の詳細を見る
• 日本ソフトウェア科学会の論文
• 1989-01-13

著者

• 坂井 公

  (財)新世代コンピュータ技術開発機構第1研究室

関連論文

• 人工知能におけるアルゴリズム (最近のアルゴリズム特集) -- (情報・システム)
• 「パズルの挑戦!」解答と講評
• AI入門-15-定理証明技術
• AI入門-14-数学とAI
• 項書換えシステム
• 証明支援システムCAP (「人工知能と定理証明システム」)
• Workshop on Languages and Constraintsの報告
• Knuth-Bendixの完備化手続きとその応用
• INCORPORATING NAIVE NEGATION INTO PROLOG
• 正規論理とそのmodelについて(計算機構に関する数学的基礎理論とその応用)
• パズルの挑戦! 講評
• 超数学と言語 (ゲ-デル)
• 論理プログラミング--PROLOGと論理 (応用論理)

もっと見る 閉じる

スポンサーリンク