Selected Extended Papers of ITP 2016: Preface

被引：0

作者：

Blanchette, Jasmin Christian ^{[1
]}

Merz, Stephan ^{[2
]}

机构：

[1] Vrije Univ Amsterdam, Amsterdam, Netherlands

[2] Univ Lorraine, CNRS, INRIA, LORIA, Nancy, France

来源：

关键词：

D O I：

10.1007/s10817-018-9470-8

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：169 / 170

页数：2