停止战争！

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

对于科学家：

默认搜索操作

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

问别人

自动推理实践方面研讨会（PAAR）

参观
- 网页@eprover.org
权限控制：
导出此流的记录
仅前1000次点击：
请参阅常见问题解答：
- 如何使用dblp搜索API？
BHT键：
- 数据库/conf/paar/index.bht
流密钥：
- 流/conf/paar
问别人
在中查看此流
- dblp搜索
共享书目
持久URL：
- https://dblp.org/streams/conf/paar
帮助我们
- 如何更正dblp中的错误？
- 联系dblp

>主页 >会议和研讨会

场馆统计

按年份列出的记录

文档访问 请注意：▪ 这方面的工作仍在进行中。▪ 出版物的开放获取信息仍然相当不完整。

频繁作者

场馆信息

属于： 国际自动推理联合会议（IJCAR）

2022年第八届PAAR：以色列海法

- 看法
- 出口记录
  dblp键：
  - conf/paar/2022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/paar/2022
波利斯·寇涅夫,克劳迪娅·肖恩,亚历山大·斯汀:
与第十一届国际自动推理联合会议（FLoC/IJCAR 2022）合办的自动推理实践方面研讨会会议记录，以色列海法，2022年8月11日至12日。 CEUR研讨会记录3201,CEUR-WS.org公司 2022 [目录]

2020年第7届PAAR：法国巴黎（在线）

- 看法
- 出口记录
  dblp键：
  - conf/cade/2020paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2020paar
帕斯卡·方丹,康斯坦丁柯罗文,伊利亚斯·科齐里亚斯,菲利普·吕默,索菲·图雷特:
2020年，第七届自动推理实用方面研讨会（PAAR）和第五届可满足性检查和符号计算研讨会（SC-Square）的联合会议记录，与第十届国际自动推理联合会议（2020年IJCAR）合办，法国巴黎，2020年6月-7月（虚拟）。 CEUR研讨会记录2752,CEUR-WS.org公司 2020 [目录]

2018年第六届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 [目录]

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

- 看法
- 出口记录
  dblp键：
  - conf/cade/2016paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2016paar
帕斯卡·方丹,斯蒂芬·舒尔茨,约瑟夫·乌尔班:
2016年7月2日，葡萄牙科英布拉，与国际自动推理联合会议（IJCAR 2016）合办的第五届自动推理实践方面研讨会会议记录。 CEUR研讨会记录1635,CEUR-WS.org公司 2016 [目录]

2014年第四届PAAR：奥地利维也纳

- 看法
- 出口记录
  dblp键：
  - conf/cade/2014paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2014paar
斯蒂芬·舒尔茨,莱昂纳多·德·莫拉,波利斯·寇涅夫:
第四次自动推理实践方面研讨会，IJCAR的PAAR2014年，奥地利维也纳，2014年。 EPiC计算系列31,Easy椅子 2015 [目录]

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

- 看法
- 出口记录
  dblp键：
  - conf/cade/2012paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2012paar
帕斯卡·方丹,雷娜特·施密特,斯蒂芬·舒尔茨:
2012年6月30日至7月1日，英国曼彻斯特，PAAR-2012，第三次自动推理实践研讨会。 EPiC计算系列21,Easy椅子 2013 [目录]

2010年第二届PAAR：英国爱丁堡

- 看法
- 出口记录
  dblp键：
  - conf/cade/2010paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2010paar
雷娜特·施密特,斯蒂芬·舒尔茨,波利斯·寇涅夫:
2010年7月14日，英国苏格兰爱丁堡，PAAR-2010，第二届自动推理实践方面研讨会论文集。 EPiC计算系列9,Easy椅子 2012 [目录]

2008年第1届PAAR：澳大利亚悉尼

- 看法
- 出口记录
  dblp键：
  - conf/cade/2008paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2008paar
波利斯·寇涅夫,雷娜特·施密特,斯蒂芬·舒尔茨:
2008年8月10日至11日，澳大利亚悉尼，第一届自动推理实践方面国际研讨会论文集。 CEUR研讨会记录373中，CEUR-WS.org公司 2008 [目录]

服务

管理网站设置

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