Information and Systems-Software Science(Date:1998/07/30)

Presentation
表紙

,  

[Date]1998/7/30
[Paper #]
目次

,  

[Date]1998/7/30
[Paper #]
Automatic Program Generation System using Prolog

Masahiro Osogami,  

[Date]1998/7/30
[Paper #]SS98-11
Formalization and hierarchical design method for open distributed systems including timing constraints

S. Yamane,  Y. Tachi,  

[Date]1998/7/30
[Paper #]SS98-12
Design of Railway Interval Decentralized Engineering Simulator

Daisuke UCHIDA,  Makoto ARIZAWA,  

[Date]1998/7/30
[Paper #]SS98-13
A Theoretical Foundation for Solving Logical Problems by Equivalent Transformation

,  

[Date]1998/7/30
[Paper #]SS98-14
Introduction to Term Rewriting Systems

Yoshihito Toyama,  

[Date]1998/7/30
[Paper #]SS98-15
奥付

,  

[Date]1998/7/30
[Paper #]