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

来源：

关键词：

D O I：

10.1007/s10817-018-9470-8

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：169 / 170

页数：2

共 50 条

[1] Selected Extended Papers of ITP 2016: Preface
Jasmin Christian Blanchette
Stephan Merz
Journal of Automated Reasoning, 2019, 62 : 169 - 170
[2] Selected Extended Papers of ITP 2015: Preface
Zhang, Xingyuan
Urban, Christian
JOURNAL OF AUTOMATED REASONING, 2019, 62 (04) : 431 - 432
[3] Selected Extended Papers of ITP 2017: Preface
Ayala-Rincon, Mauricio
Munoz, Cesar
JOURNAL OF AUTOMATED REASONING, 2019, 63 (02) : 319 - 321
[4] Selected Extended Papers of ITP 2015: Preface
Xingyuan Zhang
Christian Urban
Journal of Automated Reasoning, 2019, 62 : 431 - 432
[5] Selected Extended Papers of ITP 2017Preface
Mauricio Ayala-Rincón
César Muñoz
Journal of Automated Reasoning, 2019, 63 : 319 - 321
[6] Selected Extended Papers of NFM 2016: Preface
Munoz, Cesar A.
Rayadurgam, Sanjai
Tkachuk, Oksana
JOURNAL OF AUTOMATED REASONING, 2018, 60 (01) : 1 - 2
[7] Selected Extended Papers of NFM 2016: Preface
César A. Muñoz
Sanjai Rayadurgam
Oksana Tkachuk
Journal of Automated Reasoning, 2018, 60 : 1 - 2
[8] Selected Extended Papers of NFM 2016: Preface
Muñoz, César A. (cesar.a.munoz@nasa.gov), 1600, Springer Science and Business Media B.V. (60):
[9] Selected and extended papers from FACS 2016 Preface
Kouchnarenko, Olga
Madelaine, Eric
SCIENCE OF COMPUTER PROGRAMMING, 2019, 178 : 43 - 44
[10] 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