登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

语义 Web 中描述逻辑本体的可伸缩推理和非一致处理
出版社：中国科学院
出版年：2009
作者：杜剑峰
资源类型：图书
细分类型：中文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

语义Web中描述逻辑本体的可伸缩推理和非一致处理
  • 作者：杜剑峰
  • 出版年：2009
...

语义Web中的描述逻辑方法研究
  • 作者：向胜军
  • 出版年：2007
...

描述Web服务的一阶动态逻辑
  • 作者：吴晓庆
  • 出版年：2011
...

基于环境本体的Web服务功能描述和发现
  • 作者：王璞巍
  • 出版年：2008
...

描述逻辑中关于极小改变可靠和完备的修正演算
  • 作者：王雨晖
  • 出版年：2018
...

基于操作语义的弱内存模型描述及程序逻辑研究
  • 作者：张扬
  • 出版年：2015