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 条

[1] Selected Extended Papers of ITP 2015: Preface
Xingyuan Zhang
Christian Urban
Journal of Automated Reasoning, 2019, 62 : 431 - 432
[2] Selected Extended Papers of ITP 2016: Preface
Jasmin Christian Blanchette
Stephan Merz
Journal of Automated Reasoning, 2019, 62 : 169 - 170
[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 2016: Preface
Blanchette, Jasmin Christian
Merz, Stephan
JOURNAL OF AUTOMATED REASONING, 2019, 62 (02) : 169 - 170
[5] Selected Extended Papers of ITP 2017Preface
Mauricio Ayala-Rincón
César Muñoz
Journal of Automated Reasoning, 2019, 63 : 319 - 321
[6] Preface: Selected Extended Papers of CADE 2015
Felty, Amy
Middeldorp, Aart
JOURNAL OF AUTOMATED REASONING, 2017, 58 (03) : 311 - 312
[7] Preface: Selected Extended Papers of CADE 2015
Amy Felty
Aart Middeldorp
Journal of Automated Reasoning, 2017, 58 : 311 - 312
[8] Preface to Special issue with extended selected papers from FACS 2015
Braga, Christiano
SCIENCE OF COMPUTER PROGRAMMING, 2017, 146 : 1 - 1
[9] 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
[10] Preface: Selected Extended Papers of CADE 2017
Leonardo de Moura
Journal of Automated Reasoning, 2020, 64 : 511 - 511

← 1 2 3 4 5 →