坂井 公 | (財)新世代コンピュータ技術開発機構第1研究室
スポンサーリンク
概要
関連著者
-
坂井 公
(財)新世代コンピュータ技術開発機構第1研究室
-
田中 裕一
(財)新世代コンピュータ技術開発機構
-
坂井 公
新世代コンピュータ技術開発機構
-
横田 一正
(財)新世代コンピュータ技術開発機構
-
横井 俊夫
(株)日本電子化辞書研究所
-
横井 俊夫
日本電子化辞書研究所
-
坂井 公
財団法人新世代コンピュータ技術開発機構(ICOT)
-
宮地 泰造
財団法人新世代コンピュータ技術開発機構(ICOT)
著作論文
- 人工知能におけるアルゴリズム (最近のアルゴリズム特集) -- (情報・システム)
- 「パズルの挑戦!」解答と講評
- AI入門-15-定理証明技術
- AI入門-14-数学とAI
- 項書換えシステム
- 証明支援システムCAP (「人工知能と定理証明システム」)
- Workshop on Languages and Constraintsの報告
- Knuth-Bendixの完備化手続きとその応用
- INCORPORATING NAIVE NEGATION INTO PROLOG
- 正規論理とそのmodelについて(計算機構に関する数学的基礎理論とその応用)
- パズルの挑戦! 講評
- 超数学と言語 (ゲ-デル)
- 論理プログラミング--PROLOGと論理 (応用論理)