Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle 著, "AUTOMATED REASONING, Introduction and Applications", Prentice-HALL, B5判, 482p., $31.95, 1984

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1987-05-15

著者

• 原口 誠

  九州大学・理学部

関連論文

• Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle 著, "AUTOMATED REASONING, Introduction and Applications", Prentice-HALL, B5判, 482p., $31.95, 1984
• Recovery of Incomplete Tables under Data Dependencies (形式言語理論とオ-トマトン理論)

スポンサーリンク