AUTOMATED REASONING - APPLICATIONS

被引:0
|
作者
HUMPERT, B [1 ]
机构
[1] HASLER RES LABS, CH-3000 BERN, SWITZERLAND
来源
HELVETICA PHYSICA ACTA | 1986年 / 59卷 / 6-7期
关键词
D O I
暂无
中图分类号
O4 [物理学];
学科分类号
0702 ;
摘要
引用
收藏
页码:1264 / 1264
页数:1
相关论文
共 50 条
  • [1] Applications of automated reasoning
    Furbach, Ulrich
    Obermaier, Claudia
    [J]. KI 2006: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4314 : 174 - +
  • [2] Empirically successful automated reasoning: Applications issue
    Fischer, Bernd
    Sutcliffe, Geoff
    Schulz, Stephan
    [J]. JOURNAL OF AUTOMATED REASONING, 2006, 37 (1-2) : 1 - 1
  • [3] Empirically Successful Automated Reasoning: Applications Issue
    Bernd Fischer
    Geoff Sutcliffe
    Stephan Schulz
    [J]. Journal of Automated Reasoning, 2006, 37 : 1 - 1
  • [4] The char-set method and its applications to automated reasoning
    Wu, WT
    [J]. AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 1 - 3
  • [5] Automated reasoning
    Gavanelli, Marco
    Mancini, Toni
    [J]. INTELLIGENZA ARTIFICIALE, 2013, 7 (02) : 113 - 124
  • [6] AUTOMATED REASONING
    WOS, L
    [J]. AMERICAN MATHEMATICAL MONTHLY, 1985, 92 (02): : 85 - 92
  • [7] AN OVERVIEW OF AUTOMATED REASONING
    POST, S
    SAGE, AP
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1990, 20 (01): : 202 - 224
  • [8] The flowering of automated reasoning
    Wos, L
    [J]. MECHANIZING MATHEMATICAL REASONING: ESSAYS IN HONOUR OF JORG H SIEKMANN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 2605 : 204 - 227
  • [9] AUTOMATED REASONING - THEORY
    HUMPERT, B
    [J]. HELVETICA PHYSICA ACTA, 1986, 59 (6-7): : 1264 - 1264
  • [10] Automated Reasoning in the Wild
    Furbach, Ulrich
    Pelzer, Bjoern
    Schon, Claudia
    [J]. AUTOMATED DEDUCTION - CADE-25, 2015, 9195 : 55 - 72