検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| Entailment as a Logical Basis for Deductive Reasoning CHENG, Jingde (1989-12) 数理解析研究所講究録, 709: 199-220 |  |
| Potentials of General-Purpose Reasoning Assistant System EUODHILOS SAWAMURA, HAJIME; MINAMI, TOSHIRO (1989-12) 数理解析研究所講究録, 709: 166-198 | |
| A Parallel Algorithm for Inheritance Hierarchies with Constraints Menju, Satoshi; Itoh, Hidenori; Morita, Yukihiro (1989-12) 数理解析研究所講究録, 709: 15-32 | |
| Expert System for Specification Process in Software Development System Pure TELL Saeki, Motoshi; Horai, Hisayuki; Enomoto, Hajime (1989-12) 数理解析研究所講究録, 709: 247-265 | |
| Negation Technique for Context-Free Grammars YAMASHITA, Yoshiyuki; NAKATA, Ikuo (1989-12) 数理解析研究所講究録, 709: 48-67 | |
| 数学的側面からみた状況理論(ソフトウェア科学・工学の数理的方法) 向井, 国昭 (1989-12) 数理解析研究所講究録, 709: 1-14 | |
| Object-Oriented Approach to Discourse Understanding Numaoka, Chisato; Nagano, Tadashi; Tokoro, Mario (1989-12) 数理解析研究所講究録, 709: 33-47 | |
| Incremental Attribute Evaluation and Parsing Based on ECLR-attributed Grammars(extended abstract) Sassa, Masataka (1989-12) 数理解析研究所講究録, 709: 68-100 | |
| On the Finite Church-Rosser Property of Nonlinear Term Rewriting Systems(Preliminary report) OGAWA, Mizuhito; ONO, Satoshi (1989-12) 数理解析研究所講究録, 709: 101-115 | |
| An Approach to Knowledge Representation using Multi-world Logic Oda, Mitsuru (1989-12) 数理解析研究所講究録, 709: 235-246 | |