Selected Extended Papers of NFM 2017: Preface

被引：0

|

作者：

Clark Barrett

Temesghen Kahsai

机构：

[1] Stanford University,

[2] University of Iowa,undefined

来源：

Journal of Automated Reasoning | 2019年 / 63卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：1003 / 1004

页数：1

相关论文

共 50 条

[41] Selected and extended papers of the Brazilian Symposium on Programming Languages 2012 Preface
de Carvalho Junior, Francisco Heron
Barbosa, Luis Soares
SCIENCE OF COMPUTER PROGRAMMING, 2014, 96 : 175 - 176
[42] 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
[43] 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
[44] Preface: Special Issue of Selected Extended Papers of CADE-23
Bjorner, Nikolaj
Sofronie-Stokkermans, Viorica
JOURNAL OF AUTOMATED REASONING, 2013, 51 (01) : 1 - 2
[45] Preface to Special issue with extended selected papers from FACS 2015
Braga, Christiano
SCIENCE OF COMPUTER PROGRAMMING, 2017, 146 : 1 - 1
[46] Preface Selected papers of the "E-MRS 2017 Symposium Q"
Vaz, Filipe
Steyer, Philippe
Fenker, Martin
Polcar, Tomas
SURFACE & COATINGS TECHNOLOGY, 2018, 343 : 1 - 1
[47] 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
[48] 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
[49] Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2015) Preface
Dastani, Mehdi
Hojjat, Hossein
Sirjani, Marjan
SCIENCE OF COMPUTER PROGRAMMING, 2018, 160 : 1 - 2
[50] Formal Aspects of Component Software (FACS 2011 selected & extended papers) Preface
Arbab, Farhad
Olveczky, Peter Csaba
SCIENCE OF COMPUTER PROGRAMMING, 2014, 83 : 1 - 2

← 1 2 3 4 5 →