停止战争！

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

对于科学家来说：

默认搜索操作

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

问别人

2007年第21届CADE：德国不来梅-ESARLT

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

优化列表

精炼活动！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/cade/2007esarlt公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2007esarlt
杰夫·萨特克利夫,约瑟夫·乌尔班,斯蒂芬·舒尔茨:
2007年7月17日于德国不来梅举行的CADE-21大型理论经验成功自动推理研讨会论文集。 CEUR研讨会记录257,CEUR-WS.org公司 2007
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/Moura07号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Moura07网址
莱昂纳多·门登萨·德·莫拉:
受邀演讲：开发高效SMT解决方案。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/HinrichsG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HinrichsG07
蒂姆·辛里希斯,迈克尔·R·杰纳塞雷斯:
扩展推理。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/Pudlak07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Pudlak07
彼得·普德拉克:
定理自动证明中前置词的语义选择。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/Urban07号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Urban07网址
约瑟夫·乌尔班:
MaLARea：大型理论中自动推理的元系统。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/Goolsbey07会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Goolsbey07网址
基思·古尔斯比:
受邀演讲：Cyc设计挑战和解决方案。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/PeaseS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PeaseS07
亚当·皮斯,杰夫·萨特克利夫:
大型本体上的一阶推理。

服务

管理网站设置

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