停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2018年第6届PAAR：英国牛津

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/cade/2018paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2018paar
波利斯·寇涅夫,约瑟夫·乌尔班,菲利普·吕默:
2018年7月19日，英国牛津，与2018年联邦逻辑会议（FLoC 2018）合办的第六届自动推理实践方面研讨会论文集。 CEUR研讨会记录2162,CEUR-WS.org公司 2018
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/BhayatR18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BhayatR18
艾哈迈德·巴亚特,贾尔斯·雷格尔:
高阶推理支持集。 2-16
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/EbnerS18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/EbnerS18
加布里埃尔·埃布纳,马蒂亚斯·施莱普费尔:
序贯微积分证明到自然演绎证明的高效转换。 17-33
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/HustadtND18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HustadtND18
乌尔里希·赫斯塔特,科劳迪亚·纳隆,克莱尔·狄克逊:
时态逻辑分离范式的预处理技术评估。 34-48
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/Otten18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Otten18
延斯·奥顿:
非子句连接演算的证明搜索优化。 49-57
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/RawsonR18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/RawsonR18
迈克尔·劳森,贾尔斯·雷格尔:
动态战略优先：赋予强者权力，抛弃弱者。 58-71
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/SutcliffeK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SutcliffeK18
杰夫·萨特克利夫,叶夫根尼·科特利尼科夫:
TFX:TPTP扩展型第一订单表单。 72-87
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/VilladsenSF18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/VilladsenSF18
约根·维拉德森,安德斯·施利奇特克鲁尔,阿斯塔·哈尔克:
一种经过验证的一阶逻辑简单证明程序。 88-104

服务

管理网站设置

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