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
相关论文
共 50 条