制約のモジュラ化の計算可能性 (<特集>制約論理プログラミング)

スポンサーリンク

概要

• 論文の詳細を見る
• 日本ソフトウェア科学会の論文
• 1992-11-16

著者

• 富岡 豊

  東京大学工学部計数工学科

関連論文

• 制約のモジュラ化の計算可能性 (制約論理プログラミング)

スポンサーリンク