默认搜索操作

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

问别人

IWIL@LPAR2010年：印尼日惹

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@easychair.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lpar/2010iwil
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2010iwil
杰夫·萨特克利夫,斯蒂芬·舒尔茨,尤金妮娅·特诺夫斯卡:
第八届物流实施国际研讨会，IWIL 2010，日惹，印尼，2011年10月9日。 EPiC计算系列2,轻松头发 2012
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/PaulsonB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/PaulsonB10
劳伦斯·保尔森,贾斯敏·克里斯蒂安·布兰切特:
三年使用大锤的经验，这是自动和交互式定理证明程序之间的实际联系。 1-11
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Alama10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Alama10
杰西·阿拉玛:
探索斯坦尼茨-拉德马赫多面体：自动推理工具的挑战。 12-16
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Fiorino10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Fiorino10
吉多·菲奥里诺:
基于当前和下一个知识状态的哑巴逻辑表演算。 17-32
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/StefanusS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/StefanusS10
约哈内斯·斯特凡努斯,阿里奥·桑托索:
用于类型理论TA-lambda和隐含直觉逻辑的基于Prolog的证明工具。 33-41
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/ZanklK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/ZanklK10
哈拉尔德·赞克,马丁·科尔普:
关于模块化复杂性分析的实现。 42-47
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KlinovP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KlinovP10
帕维尔·克里诺夫,比扬·帕西娅:
实现概率描述逻辑的高效SAT求解器。 48-63
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lpar/FuhsS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/FuhsS10
卡斯滕·福斯,彼得·施奈德-坎普:
使用SAT优化AES S-Box。 64-70

管理网站设置

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