默认搜索操作

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

问别人

2016年第5届PAAR：葡萄牙科英布拉

>主页 >会议和研讨会 >帕阿尔

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/cade/2016paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2016paar
帕斯卡·方丹,斯蒂芬·舒尔茨,约瑟夫·乌尔班:
2016年7月2日，葡萄牙科英布拉，与国际自动推理联合会议（IJCAR 2016）合办的第五届自动推理实践方面研讨会会议记录。 CEUR研讨会记录1635,CEUR-WS.org公司 2016
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/Barbosa16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Barbosa16
哈尼尔·巴博萨:
SMT中的高效实例化技术。 1-10
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/Claessen 16号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ClaessenL16
科恩·克莱森,安·利利斯特罗姆:
一阶自动推理中常见二元关系的替代处理。 11-23
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/FarberK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FarberK16
迈克尔·法伯,塞萨里·卡利西克:
别无选择：在没有Skolem函数的情况下重建一阶ATP证明。 24-31
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/HassonaS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HassonaS16
穆罕默德·哈索纳,斯蒂芬·舒尔茨:
扣除作为服务。 32-40
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/KaliszykSR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KaliszykSR16
塞萨里·卡利西克,杰夫·萨特克利夫,弗洛里安·拉贝:
TH1：具有秩1多态性的TPTP型高阶形式。 41-55
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/KuksaM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KuksaM16
尤根·库克萨,蒂尔·莫萨科夫斯基:
Ontohub中定理自动证明的与证明者无关的公理选择。 56-68
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/LagniezBLM16公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LagniezBLM16
Jean-Marie Lagniez女士,丹尼尔·勒贝尔,蒂亚戈·德利马,Valentin Montmirail公司:
关于模态逻辑K的Kripke模型的检验。 69-81
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/LibalS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LibalS16
托默·利瓦尔,亚历山大·斯汀:
高阶分辨率定理证明程序的基于替换树的索引。 82-94
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/TuckeW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/TeuckeW16
安德烈亚斯·提克,克里斯托夫·魏登巴赫:
具有直接拆卸约束的有序解决方案。 95-109
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/VlasenkoDHJ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/VlasenkoDHJ16
杰琳娜·弗拉森科,玛丽亚姆·达亚拉尔,沃尔克·哈尔斯列夫,布里吉特·贾马尔:
ELQ的一个基于饱和的代数推理器。 110-124
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/Wernhard公司16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Wernhard16
克里斯托弗·沃恩哈德:
用于一阶证明、插值和消除的PIE环境。 125-138

管理网站设置

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