位置:成果数据库 > 会议 > 会议详情页
Extend Atomic Action Definitions of DDL to Support Occlusions and Conditional Post-conditions
  • 所属机构名称:中国科学院计算技术研究所
  • 成果类型:会议
  • 相关项目:语义Web服务的逻辑基础
同会议论文项目
期刊论文 50 会议论文 31 著作 3
同项目会议论文