Empirically successful automated reasoning: Applications 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
来源：
JOURNAL OF AUTOMATED REASONING | 2006年 / 37卷 / 1-2期
关键词：
Mathematical Logic; Formal Language; Theorem Prove; Algebraic Manipulation; Program Committee;
D O I：
10.1007/s10817-006-9056-8
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
No abstract available
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [1] Empirically Successful Automated Reasoning: Applications Issue
    Bernd Fischer
    Geoff Sutcliffe
    Stephan Schulz
    [J]. Journal of Automated Reasoning, 2006, 37 : 1 - 1
  • [2] Empirically Successful Automated Reasoning: Systems Issue
    Bernd Fischer
    Geoff Sutcliffe
    Stephan Schulz
    [J]. Journal of Automated Reasoning, 2006, 36 : 287 - 287
  • [3] Empirically successful automated reasoning: Systems issue
    Fischer, Bernd
    Sutcliffe, Geoff
    Schulz, Stephan
    [J]. JOURNAL OF AUTOMATED REASONING, 2006, 36 (04) : 287 - 287
  • [4] Empirically successful automated reasoning: Systems issue
    Fischer, Bernd
    Sutcliffe, Geoff
    Schulz, Stephan
    [J]. Journal of Automated Reasoning, 2006, 36 (04):
  • [5] Empirically successful computerized reasoning
    Schmidt, Renate A.
    Sutcliffe, Geoff
    Schulz, Stephan
    [J]. JOURNAL OF APPLIED LOGIC, 2009, 7 (01) : 1 - 1
  • [6] Preface - Empirically successful first order reasoning
    Schulz, S
    Sutcliffe, G
    Tammet, T
    [J]. INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2006, 15 (01) : 1 - 2
  • [7] Applications of automated reasoning
    Furbach, Ulrich
    Obermaier, Claudia
    [J]. KI 2006: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4314 : 174 - +
  • [8] AUTOMATED REASONING - APPLICATIONS
    HUMPERT, B
    [J]. HELVETICA PHYSICA ACTA, 1986, 59 (6-7): : 1264 - 1264
  • [9] Foreword to the Special Issue on Automated Reasoning
    Fontaine, Pascal
    Kaliszyk, Cezary
    Schulz, Stephan
    Urban, Josef
    [J]. AI COMMUNICATIONS, 2018, 31 (03) : 235 - 236
  • [10] Preface to the Special Issue on Automated Reasoning Systems
    Biere, Armin
    Tinelli, Cesare
    Weidenbach, Christoph
    [J]. JOURNAL OF AUTOMATED REASONING, 2020, 64 (03) : 361 - 362
12345