書誌情報	ファイル
表紙・目次    (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