永井 保夫 | (株)東芝システム・ソフトウェア技術研究所

スポンサーリンク

概要

• 永井 保夫の詳細を見る
• 同名の論文著者
• (株)東芝システム・ソフトウェア技術研究所の論文著者

関連著者

• 永井 保夫

  (株)東芝

• 永井 保夫

  (株)東芝研究開発センターシステム・ソフトウエア生産技術研究所

• 永井 保夫

  (株)東芝システム・ソフトウェア技術研究所

• 永井 保夫

  (株)東芝情報通信システム技術研究所

• 長谷川 隆三

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

著作論文

• ブール代数を用いた制約充足問題の定式化と解法についての検討
• Constraint Programming Languages; Their Specification and Generation, Wm Leler, Addison-Wesley, 1988 (制約論理プログラミング)

スポンサーリンク