Information and Systems-Software Science(Date:1996/07/24)

Presentation
表紙

,  

[Date]1996/7/24
[Paper #]
目次

,  

[Date]1996/7/24
[Paper #]
Hypothetical Reasoning based on Equivalent Transformation

Koichi Okada,  Kiyoshi Akama,  Eiichi Miyamoto,  

[Date]1996/7/24
[Paper #]SS96-10
Representation and Computation of Negation in Legal Inference

Midori Shintami,  Kiyosi Akama,  Eiichi Miyamoto,  

[Date]1996/7/24
[Paper #]SS96-11
Experimental Evaluation of C++ Program Complexity Metrics

Eun Mi KIM,  Shinji KUSUMOTO,  Tohru KIKUNO,  

[Date]1996/7/24
[Paper #]SS96-12
A New Model for Communication Protocols with Real-Time Properties and Time-Constraint Testing Method

Daisuke TERATANI,  Yoshiaki KAKUDA,  Tohru KlKUNO,  

[Date]1996/7/24
[Paper #]SS96-13)
Design and Algebraic Specifications of a Database Kernel

Kouji MIURA,  Jun OKUI,  Tohru KIKUNO,  

[Date]1996/7/24
[Paper #]SS96-14
[OTHERS]

,  

[Date]1996/7/24
[Paper #]