Selected Extended Papers of ITP 2015: Preface

被引：0

作者：

Zhang, Xingyuan ^{[1
]}

Urban, Christian ^{[2
]}

机构：

[1] PLA Univ Sci & Technol Nanjing, Nanjing, Jiangsu, Peoples R China

[2] Kings Coll London, London, England

来源：

JOURNAL OF AUTOMATED REASONING | 2019年 / 62卷 / 04期

关键词：

D O I：

10.1007/s10817-019-09517-z

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：431 / 432

页数：2

共 50 条

[21] Selected and Extended Papers from TACAS 2018: Preface
Beyer, Dirk
Huisman, Marieke
JOURNAL OF AUTOMATED REASONING, 2020, 64 (07) : 1331 - 1332
[22] Selected and extended papers from FACS 2016 Preface
Kouchnarenko, Olga
Madelaine, Eric
SCIENCE OF COMPUTER PROGRAMMING, 2019, 178 : 43 - 44
[23] Selected and Extended Papers from TACAS 2018: Preface
Dirk Beyer
Marieke Huisman
Journal of Automated Reasoning, 2020, 64 : 1331 - 1332
[24] Selected and extended papers from Bytecode 2013 Preface
Gomez-Zamalloa, Miguel
Puebla, German
SCIENCE OF COMPUTER PROGRAMMING, 2014, 95 : 343 - 343
[25] Preface - Special Issue on selected and extended papers from FACS 2019 Preface
Jongmans, Sung-Shik
Arbab, Farhad
SCIENCE OF COMPUTER PROGRAMMING, 2022, 218
[26] Selected and extended papers from ACM SVT 2014 Preface
Pang, Jun
Stoelinga, Marielle
SCIENCE OF COMPUTER PROGRAMMING, 2016, 123 : 1 - 1
[27] Preface: Special Issue of Selected Extended Papers of IJCAR 2010
Giesl, Juergen
Haehnle, Reiner
JOURNAL OF AUTOMATED REASONING, 2011, 47 (04) : 337 - 339
[28] Special Issue of Selected Extended Papers of IJCAR 2014 Preface
Demri, Stephane
Kapur, Deepak
Weidenbach, Christoph
JOURNAL OF AUTOMATED REASONING, 2017, 58 (01) : 1 - 2
[29] Preface: Special Issue of Selected Extended Papers of CADE 2019
Pascal Fontaine
Journal of Automated Reasoning, 2021, 65 : 891 - 892
[30] Preface: Special Issue of Selected Extended Papers of IJCAR 2010
Jürgen Giesl
Reiner Hähnle
Journal of Automated Reasoning, 2011, 47 : 337 - 339

← 1 2 3 4 5 →