登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
语义 Web 中的自动推理和主动规则终止性分析
出版社:
中国科学院
出版年:
2008
作者:
徐贵红
资源类型:
图书
细分类型:
中文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
语义Web中的自动推理和主动规则终止性分析
作者:
徐贵红
出版年:
2008
细粒度分布式一致性语义的自动分析和推理
作者:
马凯
出版社:
中国科学技术大学
出版年:
2023
程序终止性的分析和验证
作者:
李玲娜
出版年:
2012
融合文本语义和逻辑规则的知识推理技术研究
作者:
兰胤余
出版社:
中国科学院大学人工智能学院
出版年:
2022
语义Web服务中的自动服务组合研究
作者:
万长林
出版年:
2010
语义Web的动态推理及应用研究
作者:
陈立民
出版年:
2011
×
访问借阅管理系统