Information and Systems-Software Science(Date:1997/11/20)

Presentation
表紙

,  

[Date]1997/11/20
[Paper #]
目次

,  

[Date]1997/11/20
[Paper #]
Multiple World Mechanism for Computation based on Equivalent Transformation

Tomokuni Shimizu,  Kiyoshi Akama,  Eiichi Miyamoto,  

[Date]1997/11/20
[Paper #]SS97-32
A method of prototype customization in automatic generation of GUI and its evaluation

Junko SHIROGANE,  Yoshiaki FUKAZAWA,  

[Date]1997/11/20
[Paper #]SS97-33
Consistency Checking on Composite Specification by Tableau Composition

Masahiko Tomoishi,  Naoki Yonezaki,  

[Date]1997/11/20
[Paper #]SS97-34
Natural Language Understanding System based on Equivalent Transformation

Keiko Suita,  Kiyoshi Akama,  Eiichi Miyamoto,  

[Date]1997/11/20
[Paper #]SS97-35
Virtual Scientific Computation Expert Society (VSCES) for a partial-differential-equations (PDEs) based problem-solving-environment (PSE): NCAS system

Choompol Boonmee,  Shigeo Kawata,  

[Date]1997/11/20
[Paper #]SS97-36
[OTHERS]

,  

[Date]1997/11/20
[Paper #]