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 条

[41] Special issue on selected and extended papers from SIMPAR 2016 PREFACE
Kroger, Torsten
Menon, Samir
Mombaur, Katja
Kurniawati, Hanna
Pavone, Marco
ADVANCED ROBOTICS, 2017, 31 (22) : 1157 - 1158
[42] Preface: Special Issue of Selected Extended Papers from IJCAR 2018
Galmiche, Didier
Schulz, Stephan
Sebastiani, Roberto
JOURNAL OF AUTOMATED REASONING, 2020, 64 (07) : 1165 - 1167
[43] Preface: Special Issue of Selected Extended Papers of CADE-23
Bjorner, Nikolaj
Sofronie-Stokkermans, Viorica
JOURNAL OF AUTOMATED REASONING, 2013, 51 (01) : 1 - 2
[44] Special Issue dedicated to the papers selected during NOVEM 2015 Preface
de Rosa, S.
ADVANCES IN AIRCRAFT AND SPACECRAFT SCIENCE, 2016, 3 (03): : I - II
[45] Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2017) Preface
Dastani, Mehdi
Sirjani, Marjan
SCIENCE OF COMPUTER PROGRAMMING, 2019, 182 : 86 - 87
[46] Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface
Barbosa, Luis Soares
Lumpe, Markus
SCIENCE OF COMPUTER PROGRAMMING, 2014, 94 : 253 - 254
[47] Selected and extended papers from Partial Evaluation and Program Manipulation 2013 Preface
Albert, Elvira
Mu, Shin-Cheng
SCIENCE OF COMPUTER PROGRAMMING, 2014, 95 : 147 - 148
[48] Formal Aspects of Component Software (FACS 2011 selected & extended papers) Preface
Arbab, Farhad
Olveczky, Peter Csaba
SCIENCE OF COMPUTER PROGRAMMING, 2014, 83 : 1 - 2
[49] Preface to SCP special issue with extended selected papers from SBMF 2014
Braga, Christiano
Marti-Oliet, Narciso
SCIENCE OF COMPUTER PROGRAMMING, 2016, 126 : 1 - 2
[50] Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019) Preface
Hojjat, Hossein
Massink, Mieke
SCIENCE OF COMPUTER PROGRAMMING, 2021, 206

← 1 2 3 4 5 →