默认搜索操作

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

问别人

《自动推理杂志》第57卷

>主页 >期刊销售 >自动推理杂志

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第57卷第1期，2016年6月

特刊：插值

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/KroeningR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/KroeningR16
丹尼尔·克罗宁,安德烈·里巴尔琴科:
前言：插值专刊。 1-2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/SchlaipferW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/SchlaipferW16
马蒂亚斯·施莱普费尔,乔治·魏森巴赫:
超分辨率、Clausal和局部证明的标记插值系统。 3-36
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/TotlaW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/TotlaW16
Nishant Totla公司,托马斯·维斯:
完成基于实例化的插值。 37-65
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/罐子/圣诞节16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/ChristH16
尤根基督,Jochen Hoenicke公司:
保护树插值的证明树。 67-95

第57卷第2期，2016年8月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/EchenimP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/EchenimP16
Mnacho Echenim公司,尼古拉斯·佩尔蒂埃:
诱导推理的叠加演算。 97-134
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Roux16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Roux16
皮埃尔·罗斯:
舍入误差界的形式证明——应用于自动正定性检查。 135-156
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/FranekRZ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/FranekRZ16
彼得·弗兰克,Stefan Ratschan公司,彼得·兹格利钦斯基:
一阶实数理论片段的拟判定性。 157-185

第57卷第3期，2016年10月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Martin-DorelM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Martin-DorelM16
埃里克·马丁·多尔,纪尧姆·梅尔昆德:
用Coq中的初等函数证明单变量表达式的紧界。 187-217
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BlanchetteGKKU16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BlanchetteGKKU16
贾斯敏·克里斯蒂安·布兰切特,大卫·格林纳威,塞萨里·卡利西克,丹尼尔·库尔文,约瑟夫·乌尔班:
Isabelle/HOL基于学习的事实选择器。 219-244
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/TourP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/TourP16
蒂埃里·德拉图尔男孩,尼古拉斯·佩尔蒂埃:
通过二阶统一最小化证明$$\mathrm{LK}$$LK中的泛化。 245-280

第57卷第4期，2016年12月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/PhamGW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/PhamGW16
团结Pham,安德鲁·加塞克,迈克尔·沃伦:
用抽象推理代数数据类型。 281-318
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Krebbers16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Krebbers16
罗伯特·克雷伯斯:
分离逻辑的形式化C存储模型。 319-387

管理网站设置

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