METHODS OF AUTOMATED REASONING

被引：0
|
作者：
BIBEL, W
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 232卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：171 / 217
页数：47
相关论文
共 50 条
  • [1] Comparing Instance Generation Methods for Automated Reasoning
    Swen Jacobs
    Uwe Waldmann
    [J]. Journal of Automated Reasoning, 2007, 38 : 57 - 78
  • [2] Comparing instance generation methods for automated reasoning
    Jacobs, S
    Waldmann, U
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2005, 3702 : 153 - 168
  • [3] Formal methods of automated reasoning for situational estimation
    Llinas, J
    [J]. SENSOR FUSION: ARCHITECTURES, ALGORITHMS, AND APPLICATIONS, 1997, 3067 : 62 - 71
  • [4] Comparing instance generation methods for automated reasoning
    Jacobs, Swen
    Waldmann, Uwe
    [J]. Journal of Automated Reasoning, 2007, 38 (1-3): : 57 - 78
  • [5] Comparing instance generation methods for automated reasoning
    Jacobs, Swen
    Waldmann, Uwe
    [J]. JOURNAL OF AUTOMATED REASONING, 2007, 38 (1-3) : 57 - 78
  • [6] Automated reasoning
    Gavanelli, Marco
    Mancini, Toni
    [J]. INTELLIGENZA ARTIFICIALE, 2013, 7 (02) : 113 - 124
  • [7] AUTOMATED REASONING
    WOS, L
    [J]. AMERICAN MATHEMATICAL MONTHLY, 1985, 92 (02): : 85 - 92
  • [8] AN OVERVIEW OF AUTOMATED REASONING
    POST, S
    SAGE, AP
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1990, 20 (01): : 202 - 224
  • [9] Applications of automated reasoning
    Furbach, Ulrich
    Obermaier, Claudia
    [J]. KI 2006: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4314 : 174 - +
  • [10] 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
12345