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 条
[41]   SPECIAL ISSUE ON ANCHORING SYSTEMS - PREFACE [J].
MCCORMICK, ME .
OCEAN ENGINEERING, 1979, 6 (1-2) :1-1
[42]   Preface: Special Issue on Knowledge Representation and Reasoning for Healthcare Processes [J].
Zerbato, Francesca ;
Pufahl, Luise ;
Ten Teije, Annette .
ARTIFICIAL INTELLIGENCE IN MEDICINE, 2023, 143
[43]   Special Issue on Exemplary Narratives in Law and Legal Reasoning Preface [J].
Del Mar, Maksymilian ;
Gordon, Randy .
LAW & LITERATURE, 2013, 25 (03) :331-336
[44]   Special issue: Special issue on distributed multimedia systems for virtual society - Preface [J].
Shibata, Y ;
Shih, TK .
MULTIMEDIA TOOLS AND APPLICATIONS, 2003, 20 (01) :5-5
[45]   Preface: Special issue on Drone Delivery Systems [J].
Agatz, Niels ;
Campbell, James F. .
NETWORKS, 2018, 72 (04) :409-410
[46]   Special Issue: Energy Systems Engineering Preface [J].
Pistikopoulos, Efstratios N. ;
Georgiadis, Michael C. .
COMPUTERS & CHEMICAL ENGINEERING, 2011, 35 (09) :1645-1646
[47]   Preface to special issue on cooperation in selfish systems [J].
Hales, David ;
Edmonds, Bruce ;
Babaoglu, Ozalp ;
Spirakis, Paul .
COMPUTATIONAL AND MATHEMATICAL ORGANIZATION THEORY, 2009, 15 (02) :61-63
[48]   Special Issue on Intelligent Systems and Applications Preface [J].
Dubey, Ashwani Kumar ;
Mishra, Divya ;
Sharma, Shanu ;
Dhir, Saru .
INTERNATIONAL JOURNAL OF INTELLIGENT INFORMATION TECHNOLOGIES, 2022, 18 (02)
[49]   Special Issue on Advanced Intelligent Systems Preface [J].
Jung, Jin-Woo ;
Wakuya, Hiroshi ;
Zhang, Byoung-Tak .
SOFT COMPUTING, 2015, 19 (04) :813-814
[50]   Preface to special issue on cooperation in selfish systems [J].
David Hales ;
Bruce Edmonds ;
Ozalp Babaoglu ;
Paul Spirakis .
Computational and Mathematical Organization Theory, 2009, 15 :61-63
12345