NACLP '89の報告

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人人工知能学会の論文
• 1990-05-01

著者

• 藤田 博

  新世代コンピュータ技術開発機構

関連論文

• NACLP '89の報告
• 部分計算
• 並列論理型言語GHCとそのプログラミング技術 (「第五世代コンピュータ」)
• 第5回ロジックプログラミング国際会議に出席して
• 部分評価と混合計算に関するワークショップに参加して
• プログラムを最適化するには--プログラム変換と並列プログラミング (並列知識情報処理--並列と推論)
• 帰納法を用いる定理証明システム (「人工知能と定理証明システム」)

スポンサーリンク