默认搜索操作

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

问别人

第三CAV的PDPAR2005年：英国爱丁堡

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@sciencedirect.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/smt/2005
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smt/2005
亚历山德罗·阿曼多,亚历山德罗·西马蒂:
第三届自动推理中决策程序的语用研讨会论文集，CAV的PDPAR2005年7月12日，英国爱丁堡。理论计算机科学电子笔记144(2),爱思维尔 2006
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/ArmandoC06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/ArmandoC06
亚历山德罗·阿曼多,亚历山德罗·西马蒂:
前言。 1-2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/BozzanoBCFHKPS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BozzanoBCFHKPS06
马可·波扎诺,罗伯托·布鲁托梅索,亚历山德罗·西马蒂,安德斯·弗兰泽,齐亚德·汉纳,苏拉布·卡西达什维利,阿米特·帕尔蒂,罗伯托·塞巴斯蒂亚尼:
MathSAT的RTL结构编码：初步报告。 3-14
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GrundyMKM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GrundyMKM06
吉姆·格兰迪,托马斯·梅勒姆,萨瓦·克里斯蒂,肖恩·麦克劳林:
API到一阶解算器的工具构建要求。 15-26
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/LahiriM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/LahiriM06
Shuvendu K.Lahiri公司,穆苏瓦蒂夫人:
理性上差异约束的有效Nelson-Oppen决策程序。 27-41
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/McLaughlinBG06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/MClughlinBG06
肖恩·麦克劳林,克拉克·W·巴雷特,葛叶亭:
合作定理证明：结合HOL Light和CVC Lite的案例研究。 43-51
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/PnueliS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/PnueliS06
阿米尔·普努利,奥弗·斯特里赫曼:
意外功能的功能一致性降低。 53-65
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Weber06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Weber06
贾克·韦伯:
将SAT解算器与LCF型定理证明器集成。 67-78
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/WehrmanS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/WehrmanS06
伊恩·卫尔曼,亚伦·斯塔姆:
小验证子句的命题简化证明挖掘。 79-91

管理网站设置

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