维普中文期刊产品整合服务
意见 帮助
基本检索 作者索引 机构索引 期刊索引
  • 哲学宗教
  • 社会学
  • 政治法律
  • 军事
  • 经济管理
  • 文化科学
  • 语言文字
  • 文学
  • 艺术
  • 历史地理
  • 自然科学总论
  • 理学
  • 天文地球
  • 生物学
  • 医药卫生
  • 农业科学
  • 一般工业技术
  • 矿业工程
  • 石油与天然气工程
  • 冶金工程
  • 金属学及工艺
  • 机械工程
  • 兵器科学与技术
  • 动力工程及工程热...
  • 核科学技术
  • 电气工程
  • 电子电信
  • 自动化与计算机技术
  • 化学工程
  • 轻工技术与工程
  • 建筑科学
  • 水利工程
  • 交通运输工程
  • 航空宇航科学技术
  • 环境科学与工程
时间 1989 - 2010 学科选择学科
题名/关键词 模糊
与 题名/关键词 模糊
重新搜索 在结果中搜索
14篇 您的检索式：作者名="Haarslev"
选中 清除  导出 查看参考文献 查看引证文献 引用追踪 共1页 首页 上一页 第1页 下一页 末页 /1 跳转
    题名 作者 年代 出处 被引量
1A description logic withconcrete domains and a role-forming predicate operator显示文摘Haarslev V Lutz C Moller R 1999Journal o f Logic and Computation1999，9，3：1
2Measuring inconsistencies in ontologies 显示文摘DENG Xi Haarslev V Shiri N 2007Lecture Notes in Computer Science2007，4519，：1
3A description logic with concrete domains and a role-forming predicate operator 显示文摘Haarslev V Lutz C Muoller R 1999Journal of Logic and Computation1999，9，3：1
4A Description Logic with Concrete Domains and a Roleforming Predicate Operator显示文摘Haarslev V Lutz C M(o)ller R 1999Journal of Logic and Computation1999，9，3：1
5A Description Logic with Concrete Domains and a Role-forming Predicate Operator 显示文摘Volker Haarslev 1999Journal of Logic and Computation1999，9，3：1
6A description logic with concrete domains and a role- forming predicate operator 显示文摘Haarslev V Lutz C Moiler R 1999Journal of Logic and Computation1999，9，3：1
7A description logic with concrete domains and a roleforming predicate operator显示文摘Volker Haarslev Carsten Lutz Ralf M(o)ller 1999Journal of Logic and Computation1999，9，3：1
8Visual spatial query languages: A semantics using description logic显示文摘Haarslev V MSller R Wessel M 2000Dia- grammatic Representation and Reasoning2000，，160：1
9RACER system description显示文摘Haarslev V M(o)ller R 0，，：1
10A description logic with concrete domains and a role-forming predicate operator显示文摘V Haarslev C Lutz R Moller 1999Journal of Logic and Computation1999，9，3：1
11A description logic withconcrete domains and a role-forming predicate operator显示文摘Haarslev V Lutz C Moller R 1999Journal of Logic and Computation1999，9，：1
12A description logic with concrete domains and a role-forming predicate operator显示文摘Haarslev V Lutz C Moller R 1999Journal of Logic and Computation1999，，：1
13A description logic with concrete domains and a role forming predicate operator显示文摘Haarslev V Lutz C Muoller R 1999Journal of Logic and Computation1999，9，3：1
14Uncertainty reasoning for ontologies with General TBoxes in description logic 显示文摘Haarslev Volker Pai Hsuehleng Shiri 2008Lecture Notes in Computer Science2008，5327，：1
返回顶部 每页显示：
共1页 首页 上一页 第1页 下一页 末页 /1 跳转
goolge学术搜索-维普

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费