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 条
[31]   A Special Issue for the Operating Systems Preface [J].
Shin, Sung Y. ;
Hong, Jiman ;
Kuo, Tei-Wei .
JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2010, 26 (01)
[32]   Preface: Special Issue on Reaction Systems [J].
Mikulski, Lukasz ;
Petre, Ion .
THEORETICAL COMPUTER SCIENCE, 2021, 881 :1-2
[33]   EXPERT SYSTEMS - SPECIAL ISSUE PREFACE [J].
BOEHMDAVIS, DA .
HUMAN FACTORS, 1988, 30 (04) :377-379
[34]   Special issue on intelligent systems - Preface [J].
El-Kwae, E ;
Ras, Z .
FUNDAMENTA INFORMATICAE, 2001, 47 (1-2) :V-VII
[35]   Special Issue on Reaction Systems Preface [J].
Mikulski, Lukasz ;
Petre, Ion .
JOURNAL OF MEMBRANE COMPUTING, 2020, 2 (03) :147-148
[36]   Preface to the Special Issue on Recommender Systems [J].
Di Noia, Tommaso ;
Jannach, Dietmar .
Journal on Data Semantics, 2017, 6 (01)
[37]   SPECIAL ISSUE ON HYBRID SYSTEMS - PREFACE [J].
PNUELI, A ;
SIFAKIS, J .
THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) :1-2
[38]   Preface to the Special Issue on Intelligent Systems [J].
Aiyoshi, Eitaro .
IEEJ Transactions on Electronics, Information and Systems, 2014, 134 (09)
[39]   Special issue - Embedded systems - Preface [J].
Childers, Bruce ;
Kandemir, Mahmut .
COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2008, 34 (04) :151-152
[40]   PREFACE TO SPECIAL ISSUE ON MULTIDIMENSIONAL SYSTEMS [J].
JURY, EI .
PROCEEDINGS OF THE IEEE, 1977, 65 (06) :822-823
12345