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]   Special Issue: Energy Systems Engineering Preface [J].
Pistikopoulos, Efstratios N. ;
Georgiadis, Michael C. .
COMPUTERS & CHEMICAL ENGINEERING, 2011, 35 (09) :1645-1646
[46]   Preface: Special issue on Drone Delivery Systems [J].
Agatz, Niels ;
Campbell, James F. .
NETWORKS, 2018, 72 (04) :409-410
[47]   Special issue - Orthogonal systems and applications - Preface [J].
Agarwal, RP ;
Milovanovic, GV .
APPLIED MATHEMATICS AND COMPUTATION, 2002, 128 (2-3) :149-149
[48]   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
[49]   Preface to special issue on adaptive embedded systems [J].
Karl-Erik Årzén .
Real-Time Systems, 2013, 49 :337-338
[50]   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)
12345