VSL 2014:维也纳2014年夏季逻辑
VSL公司
程序
索引
VSL公司
|
FLoC公司
|
CAV汽车
|
CSF公司
|
CSL-LICS公司
|
ICLP公司
|
国际JCAR
|
ITP公司
|
RTA-薄层色谱分析
|
坐
|
信用证
|
拉丁美洲贸易发展局
|
韩国
|
DL公司
|
核磁共振
|
2楼
|
ACL2型
|
加法
|
自动识别系统
|
APPA公司
|
ARQNL公司
|
ARW-DT公司
|
ASA公司
|
ASPOCP公司
|
Automatheo公司
|
瑞士法郎
|
CICLOPS-WLPE公司
|
CLC公司
|
Coq公司
|
CSPSAT卫星
|
DCM公司
|
DTP公司
|
电子控制2
|
催化裂化
|
星期五
|
FWFM公司
|
GeTFun公司
|
GSB公司
|
HCVS公司
|
HOL公司
|
HOPA公司
|
HOR公司
|
高铁
|
IFIP-WG16
|
无穷
|
iPRA公司
|
ITRS公司
|
国际捕鲸委员会
|
伊莎贝尔
|
KInAR公司
|
韩国4HC
|
睫毛
|
低成本航空公司
|
LFMTP公司
|
LG公司
|
线性
|
洛拉
|
最低有效位
|
NCPROOFS公司
|
国家后勤保障系统
|
NLSR公司
|
NSV公司
|
矿石
|
PAAR公司
|
ParSearchOpt公司
|
PAS公司
|
个人计算机
|
PCCR公司
|
PLP公司
|
位置
|
PRUV公司
|
产品分成合同
|
QBF公司
|
量化宽松政策
|
量化
|
RCRA公司
|
重新订购
|
RS系列
|
表面活性剂
|
标准偏差
|
SSV公司
|
STAST公司
|
同步
|
TermGraph(术语图)
|
UITP(UITP)
|
联合国国际金融中心
|
吸血鬼
|
VEMDP公司
|
验证
|
VeriSure公司
|
视频处理技术
|
VSTTE公司
|
机翼
|
世界铁路联盟
|
焊接工艺工程师
|
WST(WST)
|
WWV(WWV)
立方英尺/平方英寸
|
主页
|
个人计算机
|
程序
|
索引
PSC主页
概述
国际证明、结构和计算研讨会(PSC)是CSL-LICS附属的从证明中提取计算内容的研讨会。
重点是证明的计算方面和所涉及结构的规范。
文件征集
文件征集
组织
项目委员会
一些PSC会谈的幻灯片
行为微分方程的观测等价性
(亨宁·巴索尔德
和Helle Hvid Hansen
)
多代理调整逻辑
(塔蒂亚娜·亚沃斯卡娅
和Nadezhda Rukhlyadko
)
从证据中提取一元语法分析器
(
乌尔里希·伯杰,
埃利斯-琼斯
,
和莫妮卡·塞森伯格
)
直觉主义祖先逻辑
(Liron Cohen)
和罗伯特·康斯特布尔
)
IPL自然演绎计算的证明
(
Mauro Ferrari和
卡米洛·佛罗伦萨)
问题和命题的联合逻辑、改进的BHK解释和直觉逻辑的证明相关拓扑模型
(谢尔盖·梅利霍夫)
免责声明
|
由EasyChair Smart Program提供支持