AN INTRODUCTION TO AUTOMATED DEDUCTION

被引：0
|
作者：
STICKEL, ME
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 232卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：75 / 132
页数：58
相关论文
共 50 条
  • [1] Automated deduction
    [J]. 1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (01):
  • [2] AND - AUTOMATED NATURAL DEDUCTION
    BARKERPLUMMER, D
    BAILIN, SC
    MERRILL, AS
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 716 - 720
  • [3] Automated Deduction for Verification
    Shankar, Natarajan
    [J]. ACM COMPUTING SURVEYS, 2009, 41 (04)
  • [4] AN INTRODUCTION TO PARTIAL DEDUCTION
    KOMOROWSKI, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 649 : 49 - 69
  • [5] Automated Generation of Exam Sheets for Automated Deduction
    Hozzova, Petra
    Kovacs, Laura
    Rath, Jakob
    [J]. INTELLIGENT COMPUTER MATHEMATICS (CICM 2021), 2021, 12833 : 185 - 196
  • [6] Automated Deduction in Godel Logic
    Guller, Dusan
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2018, 19 (03)
  • [7] Abstract Interpretation as Automated Deduction
    D'Siival, Vijay
    Urban, Caterina
    [J]. AUTOMATED DEDUCTION - CADE-25, 2015, 9195 : 450 - 464
  • [8] Handling polymorphism in automated deduction
    Couchot, Jean-Francois
    Lescuyer, Stephane
    [J]. AUTOMATED DEDUCTION - CADE-21, PROCEEDINGS, 2007, 4603 : 263 - +
  • [9] Combining assisted and automated deduction
    Kirchner, H
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2000, 28 (1-4) : 21 - 26
  • [10] THE KLAUS AUTOMATED DEDUCTION SYSTEM
    STICKEL, ME
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 750 - 751
12345