Special issue - 2nd International Workshop on Complexity in Automated Deduction - Foreword

被引：0

作者：

Gottlob, G

Hermann, M

Rusinowitch, M

机构：

来源：

THEORY OF COMPUTING SYSTEMS | 2004年 / 37卷 / 06期

关键词：

D O I：

10.1007/s00224-004-3706-1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：639 / 640

页数：2

相关论文

empty

未找到相关数据