主页
EPiC系列
Kalpa出版物
预印本
对于作者
对于编辑
体积
•
摘要
•
前言
•
作者
•
关键词
•
BibTex条目
IWIL 2012:卷信息
IWIL 2012。
第九届物流实施国际研讨会
编辑:
康斯坦丁柯罗文
,
斯蒂芬·舒尔茨
和
尤金妮娅·特诺夫斯卡
EPiC计算系列
•
第22卷
5篇文章
•
52页
•
发布日期:2013年11月25日
文件
工程理论与Z3
尼古拉·比约纳
1-2
整数的克雷格插值:结果、实现和经验
菲利普·吕默
三
超表的高效规则匹配
比亚恩·霍伦
,
达格·霍夫兰
和
马丁·吉斯
4-17
一阶模态逻辑的连接计算实现
延斯·奥顿
18-32
理解LEO-II的证明
Nik Sultana公司
和
克里斯托夫·本兹穆勒
33-52
键盘
自动定理证明
2
,
相干逻辑
,
连接演算
,
一阶逻辑
,
一阶模态逻辑
,
高阶逻辑
,
实施
,
校样
,
雷特
.
版权所有©2012-2024 easychair.org。保留所有权利。