停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

1.EUROVAV 1991：英国剑桥

>主页 >会议和研讨会 >EUROVAV公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/1991年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/1991
马修·格里索尼:
《基于知识的系统的验证与确认欧洲研讨会论文集》，EUROVAV-91，英国剑桥耶稣学院，1991年7月22日至24日。英国剑桥Logica有限公司 1991
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/Grisoni91公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/Grisoni91
马修·格里索尼:
前言。 EUROVAV公司 1991
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/JenkinsP91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/JenkinsP91
彼得·詹金斯,恩里克广场:
联合主席介绍。 EUROVAV公司 1991

理论基础

- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/HoppeM91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/HoppeM91
托马斯·霍普,佩德罗·梅塞盖尔:
关于VVT术语。 EUROVAV公司 1991:3-13
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/Martin-Matei91公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/Martin-Mattei91
凯瑟琳·马丁·马提伊:
验证、验证和测试：基于知识的系统生命周期中的程序。 EUROVAV公司 1991:15-29
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/LaitaCL91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/LaitaCL91
路易斯·莱塔,朱莉娅·库托,路易斯·德莱德斯马:
KBS一致性的形式化研究。 EUROVAV公司 1991:31-38
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/EvertszM91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/EvertszM91
里克·埃弗茨,恩里科·莫塔:
基于规则/框架的混合系统的抽象解释。 EUROVAV公司 1991:39至53
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/Pearce91公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/Pearce91
丹尼·皮尔斯:
基于模型的验证方法。 EUROVAV公司 1991:55-67
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/TalbotA91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/TalbotA91
斯蒂芬妮·塔尔博特,马克·艾尔:
一致性和例外规则。 EUROVAV公司 1991:69-75
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/BelancheC91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/BelancheC91
路易斯·贝兰奇,尤利斯·科尔特斯:
基于知识的系统中的零属性。 EUROVAV公司 1991:77-102
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/Someren91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/Someren91网址
马滕·范·萨默伦:
知识库的结构和形成验证。 EUROVAV公司 1991:103-108

工具和技术

- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/PetitjeanBV91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/PetitjeanBV91
西尔万·佩蒂让,L.布鲁内索,Jean-Philippe杂耍:
基于知识的系统验证的三种实用工具。欧洲疫苗 1991:111-123
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/长椅-CaponC91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/Bench-CaponC91
特雷弗·J.M.长凳,弗兰斯·科宁:
基于知识的系统验证的两个方面。欧洲疫苗 1991:125-132
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/Mengshoel91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/Mengshoel91
奥勒·蒙索尔（Ole J.Mengshoel）:
KVAT：知识工程工作台中的增量知识验证工具。 EUROVAV公司 1991:133-146
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/PolatG91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/PolatG91
法鲁克·波兰,H.阿勒泰·居维尼:
UVT：用于知识库验证的基于统一的工具。 EUROVAV公司 1991:147-163
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/Meseguer91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/Meseguer91
佩德罗·梅塞盖尔:
基于规则的专家系统的结构和性能度量。 EUROVAV公司 1991:165-178年
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/CastilloB91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/CastilloB91
维罗尼卡·卡尼维尔-卡斯蒂略,安塞尔莫·德尔·道德布埃诺:
知识库评估：肺炎应用。欧洲疫苗 1991:179-193年
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/Shadbolt91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/Shadbolt91
奈杰尔·沙德博尔特:
建立有效的知识库：认知视角。 EUROVAV公司 1991:195-210
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/AgustiPS91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/AgustiPS91
杰姆·阿古斯蒂-卡莱尔,恩里克广场,卡尔斯·塞拉:
MILORD施工验证。欧洲疫苗 1991:211-226
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/SebagS91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/SebagS91
米歇尔·塞巴格,马克·肖纳:
使用示例优化冗余知识库。 EUROVAV公司 1991:227-236

行业要求

- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/Grisoni91a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/Grisoni91a
马修·格里索尼:
建立合格的知识体系。 EUROVAV公司 1991:239-245
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/克劳斯91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/Krause91
保罗克劳斯:
我们可以正式指定医疗决策支持系统吗？ EUROVAV公司 1991:247-258
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/文莱索克斯91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/Brunessaux91网址
L.布鲁内索:
验证的实用方法：ALPIN的工业经验。 EUROVAV公司 1991:259-261
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/eurovav/ByrneD91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurovav/ByrneD91
D.拜恩,J.杜瓦:
数据融合技术演示程序：知识库的验证。 EUROVAV公司 1991:279-286

确认：本页信息由亨德里克·德克尔

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。