默认搜索操作

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

问别人

2012年第三届PAAR：英国曼彻斯特

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@easychair.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/2012paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2012paar
帕斯卡·方丹,雷娜特·施密特,斯蒂芬·舒尔茨:
2012年6月30日至7月1日，英国曼彻斯特，PAAR-2012，第三次自动推理实践研讨会。 EPiC计算系列21,轻松头发 2013
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Biere12a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Biere12a
阿明·比尔:
SAT解决的实际方面。 1
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Motik12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Motik12
鲍里斯·莫提克:
构建高效的OWL 2 DL推理器。 2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Alama12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Alama12
杰西·阿拉玛:
从ATP逃往Mizar。 3-11
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BenzmullerOR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BenzmullerOR12
克里斯托夫·本兹穆勒,延斯·奥滕,托马斯·拉特斯:
一阶模态逻辑的不同证明算法的实现。 12-18
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/OliveiraM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/OliveiraM12
迭戈·卡米尼亚·巴博萨·德·奥利维拉,大卫·莫尼奥:
在SMT求解器中使用浮点单纯形的可行性实验。 19-28
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/CramptonHK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/CramptonHK12
杰森·克兰普顿,伦敦帝国学院,Jim Huan-Pu Kuo先生:
工作流中的授权实施：通过自动推理维护可实现性。 29-42
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GoreT12a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GoreT12a
拉杰夫·戈尔,吉米·汤姆森:
命题非经典逻辑中基于BDD的自动推理：进展报告。 43-57
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/伊斯兰M12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/IslamM12
Md Zahidul伊斯兰,温迪·麦考尔:
一种基于单通道表的工作流验证框架。 58-71
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KaliszykU12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KaliszykU12
塞萨里·卡利西克,约瑟夫·乌尔班:
在HOL轻语料库上使用外部校准器和前提选择的初步实验。 72-81
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KuhlweinU12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KuhlweinU12
丹尼尔·库尔文,约瑟夫·乌尔班:
从多重证据中学习：第一次实验。 82-94
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LeitschL12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LeitschL12
亚历山大·莱奇,托默·利瓦尔:
二阶逻辑的一种急切统一的分解演算。 95
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LiangT12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LiangT12
梁天一,塞萨尔·蒂内利:
利用ME演算中的并行性。 96-108
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MinicaKST12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MinicaKST12
斯特凡·米尼卡,穆罕默德·科达达迪,雷娜特·施密特,德米特里·蒂什科夫斯基:
问答认知逻辑表演算的综合与实现。 109-123
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MonnetV12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MonnetV12
安东尼·莫内,罗杰·维尔梅尔:
通过部分订购进行破坏性较小的回溯的CDCL。 124-138
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SeidlLB12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SeidlLB12
马蒂娜·塞德尔,弗洛里安·朗辛,阿明·比尔:
qbf2epr：从QBF生成EPR公式的工具。 139-148
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/TishkovskySK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/TishkovskySK12
德米特里·蒂什科夫斯基,雷娜特·施密特,穆罕默德·科达达迪:
MetTeL公司²：走向Tableau探测仪生成平台。 149-162
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/WidenbachW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/WidenbachW12
克里斯托夫·魏登巴赫,帕特里克·维什内夫斯基:
大型本体的可满足性检查与查询回答。 163-177

管理网站设置

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