Information and Systems-Software Science(Date:1996/05/28)

Presentation
表紙

,  

[Date]1996/5/28
[Paper #]
目次

,  

[Date]1996/5/28
[Paper #]
Generation of Equivalent Transformation Rules for Efficient Knowledge Processing

Mamiko Hatayama,  Kiyoshi Akama,  Eiichi Miyamoto,  

[Date]1996/5/28
[Paper #]SS96-1
Formalization of Hypothetical Reasoning in terms of Declarative Semantics of Declarative Programs

Koichi Okada,  Kiyoshi Akama,  Eiichi Miyamoto,  

[Date]1996/5/28
[Paper #]SS96-2
A Method for Freeing Memory Blocks Efficiently and Implicitly during Program Execution

Yoshihiro TAKADA,  Koji TORII,  

[Date]1996/5/28
[Paper #]SS96-3
Towards Reusable Metalevel Architectures for Extensible Langauges

Akira Tanaka,  Takuo Watanabe,  

[Date]1996/5/28
[Paper #]SS96-4
[OTHERS]

,  

[Date]1996/5/28
[Paper #]