Empirically successful automated reasoning: Systems issue

被引：0

作者：

Fischer, Bernd ^{[1
]}

Sutcliffe, Geoff

Schulz, Stephan

机构：

[1] Univ Southampton, Southampton, Hants, England

[2] Univ Miami, Coral Gables, FL 33124 USA

[3] Tech Univ Munich, D-8000 Munich, Germany

来源：

关键词：

Mathematical Logic; Formal Language; Theorem Prove; Algebraic Manipulation; Related Method;

D O I：

10.1007/s10817-006-9059-5

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：287 / 287

页数：1