Selected Extended Papers of ITP 2016: Preface

被引：0

作者：

Blanchette, Jasmin Christian ^{[1
]}

Merz, Stephan ^{[2
]}

机构：

[1] Vrije Univ Amsterdam, Amsterdam, Netherlands

[2] Univ Lorraine, CNRS, INRIA, LORIA, Nancy, France

来源：

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

关键词：

D O I：

10.1007/s10817-018-9470-8

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：169 / 170

页数：2

共 50 条

[41] Preface: Special issue of selected extended papers of CADE-23
Sofronie-Stokkermans, V. (sofronie@uni-koblenz.de), 1600, Springer Netherlands, Van Godewijckstraat 30, Dordrecht, 3311 GZ, Netherlands (51):
[42] Preface: Special Issue of Selected Extended Papers of CADE-23
Nikolaj Bjørner
Viorica Sofronie-Stokkermans
Journal of Automated Reasoning, 2013, 51 : 1 - 2
[43] Preface: Special Issue of Selected Extended Papers from IJCAR 2018
Didier Galmiche
Stephan Schulz
Roberto Sebastiani
Journal of Automated Reasoning, 2020, 64 : 1165 - 1167
[44] 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
[45] 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
[46] Preface: Special Issue of Selected Extended Papers of CADE-23
Bjorner, Nikolaj
Sofronie-Stokkermans, Viorica
JOURNAL OF AUTOMATED REASONING, 2013, 51 (01) : 1 - 2
[47] Preface to Special issue with extended selected papers from FACS 2015
Braga, Christiano
SCIENCE OF COMPUTER PROGRAMMING, 2017, 146 : 1 - 1
[48] 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
[49] 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
[50] 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

← 1 2 3 4 5 →