位置:成果数据库 > 期刊 > 期刊详情页
Automatic composition of Semantic Web Services - A theorem proof approach
  • ISSN号:0302-9743
  • 期刊名称:Lecture Notes in Computer Science
  • 时间:0
  • 页码:481-487
  • 语言:英文
  • 相关项目:智能移动业务平台的基础性研究
同期刊论文项目
期刊论文 62 会议论文 44 专利 14
同项目期刊论文