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)
Huisman, Marieke
de Pol, Jaco van
SCIENCE OF COMPUTER PROGRAMMING, 2016, 128 : 1 - 1
[22] AMAI special issue on temporal representation and reasoning - Preface
不详
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2000, 30 (1-4) : 1 - 2
[23] Special Issue: Reasoning under partial knowledge - Preface
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
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
Chen, Yixin
ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 2010, 1 (02)
[26] Special issue on dynamic geometry and automated reasoning Foreword
Botana, Francisco
Kovacs, Zoltan
Recio, Tomas
JOURNAL OF SYMBOLIC COMPUTATION, 2020, 97 : 1 - 2
[27] Automated Reasoning for Systems Biology and Medicine Preface
Lio, Pietro
Zuliani, Paolo
AUTOMATED REASONING FOR SYSTEMS BIOLOGY AND MEDICINE, 2019, 30 : V - VII
[28] Empirically successful automated reasoning: Systems issue
Fischer, Bernd
Sutcliffe, Geoff
Schulz, Stephan
Journal of Automated Reasoning, 2006, 36 (04):
[29] Empirically Successful Automated Reasoning: Systems Issue
Bernd Fischer
Geoff Sutcliffe
Stephan Schulz
Journal of Automated Reasoning, 2006, 36 : 287 - 287
[30] Empirically successful automated reasoning: Systems issue
Fischer, Bernd
Sutcliffe, Geoff
Schulz, Stephan
JOURNAL OF AUTOMATED REASONING, 2006, 36 (04) : 287 - 287

← 1 2 3 4 5 →