原口 誠 | 九州大学・理学部
スポンサーリンク
概要
関連著者
著作論文
- 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 (形式言語理論とオ-トマトン理論)