沢村 一 | 富士通(株)国際情報社会科学研究所

スポンサーリンク

概要

• 同名の論文著者
• 富士通(株)国際情報社会科学研究所の論文著者

関連著者

• 沢村 一

  富士通(株)国際情報社会科学研究所

• 南 俊朗

  (株)富士通研究所パーソナルシステム研究所ネットメディア研究センター

• 南 俊朗

  九州大学附属図書館研究開発室

• 南 俊朗

  富士通(株)国際情報社会科学研究所

• 沢村 一

  富士山(株)国際情報社会科学研究所

• 沢村 一

  新潟大学

• Sawamura Hajime

  Faculty Of Engeneering Niigata University

• 大橋 恭子

  (株)富士通研究所ソフトウェア研究部

• 大谷 武

  九州大学システム情報科学研究科情報理学専攻

• 大橋 恭子

  富士通株式会社

• 横田 かおる

  (株)富士通研究所

• 大谷 武

  富士通(株)国際情報社会科学研究所

• 大橋 恭子

  (株)富士通研究所

もっと見る 閉じる

著作論文

• 確定節文法のための内部構造変換機能付きパーザとアンパーザの自動生成方式
• PROLOG述語(呼び出し)の決定性
• Prologソースレベル・オプティマイザの試作とその性能評価
• R,Turner 著, "Logics for Artificial Intelligence", (人工知能のための論理学), Ellis Horwood Limited, B5判, 121p., 1984
• 対話型論証支援システムEUODHILOS (「人工知能と定理証明システム」)
• 論証支援のための証明コンストラクタ

スポンサーリンク