Preface to the Special Issue on Automated Reasoning Systems

被引：0
|
作者：
Armin Biere
Cesare Tinelli
Christoph Weidenbach
机构：
[1] Johannes Kepler University Linz,Department of Computer Science
[2] The University of Iowa,undefined
[3] Max Planck Institute for Informatics,undefined
来源：
Journal of Automated Reasoning | 2020年 / 64卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：361 / 362
页数：1
相关论文
共 50 条
  • [1] Preface to the Special Issue on Automated Reasoning Systems
    Biere, Armin
    Tinelli, Cesare
    Weidenbach, Christoph
    JOURNAL OF AUTOMATED REASONING, 2020, 64 (03) : 361 - 362
  • [2] Special issue on automated reasoning with analytic tableaux - Preface
    Beckert, Bernhard
    Paulson, Lawrence C.
    JOURNAL OF AUTOMATED REASONING, 2007, 38 (1-3) : 1 - 2
  • [3] Special issue on practical aspects of automated reasoning Preface
    Konev, Boris
    Schmidt, Renate A.
    Schulz, Stephan
    AI COMMUNICATIONS, 2010, 23 (2-3) : 67 - 68
  • [4] Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning"
    Bauer, Lujo
    Etalle, Sandro
    den Hartog, Jerry
    Vigano, Luca
    JOURNAL OF AUTOMATED REASONING, 2011, 46 (3-4) : 223 - 224
  • [5] Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”
    Lujo Bauer
    Sandro Etalle
    Jerry den Hartog
    Luca Viganò
    Journal of Automated Reasoning, 2011, 46 : 223 - 224
  • [6] SPECIAL ISSUE ON - AUTOMATED REASONING WITH ANALYTIC TABLEAUX .1. PREFACE
    WRIGHTSON, G
    JOURNAL OF AUTOMATED REASONING, 1994, 13 (02) : 173 - 173
  • [7] Preface to the special issue on geometric reasoning
    Jacques Fleuriot
    Tetsuo Ida
    Annals of Mathematics and Artificial Intelligence, 2016, 77 : 155 - 156
  • [8] Preface: Special Issue on Uncertain Reasoning
    Yang Xiang
    Kevin Grant
    Journal of Automated Reasoning, 2010, 45 : 1 - 2
  • [9] Preface to the special issue on geometric reasoning
    Fleuriot, Jacques
    Ida, Tetsuo
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2016, 77 (1-2) : 155 - 156
  • [10] Preface to the special issue on informal reasoning
    Thompson, VA
    CANADIAN JOURNAL OF EXPERIMENTAL PSYCHOLOGY-REVUE CANADIENNE DE PSYCHOLOGIE EXPERIMENTALE, 2004, 58 (02): : 65 - 66
12345