スポンサーリンク
Computer Science Program, School of Advanced Technologies, Asian Institute of Technology | 論文
- Order-Sorted Universes of Structured Objects
- OWL/XDD Application Profiles(Knowledge, Information and Creativity Support System)
- Conceptual Graph Programs and Their Declarative Semantics