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 条
[21]   Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14) [J].
Huisman, Marieke ;
de Pol, Jaco van .
SCIENCE OF COMPUTER PROGRAMMING, 2016, 128 :1-1
[22]   AMAI special issue on temporal representation and reasoning - Preface [J].
不详 .
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2000, 30 (1-4) :1-2
[23]   Special Issue: Reasoning under partial knowledge - Preface [J].
Coletti, Giulianella ;
Vantaggi, Barbara .
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2008, 47 (03) :267-267
[24]   Special issue on commonsense reasoning for the semantic web Preface [J].
van Harmelen, Frank ;
Herzig, Andreas ;
Hitzler, Pascal ;
Qi, Guilin .
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2010, 58 (1-2) :1-2
[25]   Preface to Special Issue on Applications of Automated Planning [J].
Chen, Yixin .
ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 2010, 1 (02)
[26]   Special issue on dynamic geometry and automated reasoning Foreword [J].
Botana, Francisco ;
Kovacs, Zoltan ;
Recio, Tomas .
JOURNAL OF SYMBOLIC COMPUTATION, 2020, 97 :1-2
[27]   Automated Reasoning for Systems Biology and Medicine Preface [J].
Lio, Pietro ;
Zuliani, Paolo .
AUTOMATED REASONING FOR SYSTEMS BIOLOGY AND MEDICINE, 2019, 30 :V-VII
[28]   Empirically Successful Automated Reasoning: Systems Issue [J].
Bernd Fischer ;
Geoff Sutcliffe ;
Stephan Schulz .
Journal of Automated Reasoning, 2006, 36 :287-287
[29]   Empirically successful automated reasoning: Systems issue [J].
Fischer, Bernd ;
Sutcliffe, Geoff ;
Schulz, Stephan .
Journal of Automated Reasoning, 2006, 36 (04)
[30]   Empirically successful automated reasoning: Systems issue [J].
Fischer, Bernd ;
Sutcliffe, Geoff ;
Schulz, Stephan .
JOURNAL OF AUTOMATED REASONING, 2006, 36 (04) :287-287
12345