Top > Back > 学術論文・プロシーディングス・著作 の検索結果 94 件中 91‐94 件目
| A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface Design |
| [ 全著者名 ] Hayato Ohwada and Fumio Mizoguchi |
| [ 掲載誌名 ] Proc.of the North American Conference on Logic Programming, The MIT Press |
| [ 掲載年月 ] 1990年 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| Use of Contraint Logic Programming for Making Qualitative Reasoning More Powerful |
| [ 全著者名 ] Hayato Ohwada and Fumio Mizoguchi |
| [ 掲載誌名 ] Proc.of Pacific Rim International Conference on Artificial Intelligence, Ohmsha Publishers |
| [ 掲載年月 ] 1990年 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| Qualitative Simulation in Parallel Logic Programming |
| [ 全著者名 ] Hayato Ohwada and Fumio Mizoguchi |
| [ 掲載誌名 ] Proc.of International Symposium on Logic Programming, IEEE Computer Society Press |
| [ 掲載年月 ] 1987年 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| LOOKS: Knowledge Representation System for Designng Expert Systems in a Logic Programming Framework |
| [ 全著者名 ] Fumio Mizoguchi, Hayato Ohwada and Yoshinori Katayama |
| [ 掲載誌名 ] Proc.of the International Conference on Fifth Generation Computer Systems, Ohmsha Publishers |
| [ 掲載年月 ] 1984年 1月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
