書誌情報 | ファイル |
表紙・目次 (1989-12) 数理解析研究所講究録, 709
| |
数学的側面からみた状況理論(ソフトウェア科学・工学の数理的方法) 向井, 国昭 (1989-12) 数理解析研究所講究録, 709: 1-14
| |
A Parallel Algorithm for Inheritance Hierarchies with Constraints Menju, Satoshi; Itoh, Hidenori; Morita, Yukihiro (1989-12) 数理解析研究所講究録, 709: 15-32
| |
Object-Oriented Approach to Discourse Understanding Numaoka, Chisato; Nagano, Tadashi; Tokoro, Mario (1989-12) 数理解析研究所講究録, 709: 33-47
| |
Negation Technique for Context-Free Grammars YAMASHITA, Yoshiyuki; NAKATA, Ikuo (1989-12) 数理解析研究所講究録, 709: 48-67
| |
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
| |
A Denotational Model of Type Inheritance and Generics Tsuiki, Hideki (1989-12) 数理解析研究所講究録, 709: 116-142
| |
Executable and formalized logic programming language based on time interval logic Nide, Naoyuki (1989-12) 数理解析研究所講究録, 709: 143-165
| |
Potentials of General-Purpose Reasoning Assistant System EUODHILOS SAWAMURA, HAJIME; MINAMI, TOSHIRO (1989-12) 数理解析研究所講究録, 709: 166-198
| |
Entailment as a Logical Basis for Deductive Reasoning CHENG, Jingde (1989-12) 数理解析研究所講究録, 709: 199-220
| |
A Declarative Semantics of Parallel Logic Programs based on Failure/Deadlock Set Murakami, Masaki (1989-12) 数理解析研究所講究録, 709: 221-234
| |
An Approach to Knowledge Representation using Multi-world Logic Oda, Mitsuru (1989-12) 数理解析研究所講究録, 709: 235-246
| |
Expert System for Specification Process in Software Development System Pure TELL Saeki, Motoshi; Horai, Hisayuki; Enomoto, Hajime (1989-12) 数理解析研究所講究録, 709: 247-265
| |