Special issue on practical aspects of automated reasoning Preface

被引：0

作者：

Konev, Boris ^{[1
]}

Schmidt, Renate A. ^{[2
]}

Schulz, Stephan ^{[3
]}

机构：

[1] Univ Liverpool, Liverpool L69 3BX, Merseyside, England

[2] Univ Manchester, Manchester, Lancs, England

[3] Tech Univ Munich, Munich, Germany

来源：

关键词：

D O I：

10.3233/AIC-2010-0455

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：67 / 68

页数：2