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 条

[31] Preface: Special Issue of Selected Extended Papers of CADE 2019
Fontaine, Pascal
JOURNAL OF AUTOMATED REASONING, 2021, 65 (07) : 891 - 892
[32] Preface: Special Issue of Selected Extended Papers of CADE-22
Renate A. Schmidt
Brigitte Pientka
Journal of Automated Reasoning, 2011, 47 : 107 - 109
[33] Special issue on ICDAR2009 selected and extended papers preface
Llados, Josep
Antonacopoulos, Apostolos
Cheriet, Mohamed
Pal, Umapada
INTERNATIONAL JOURNAL ON DOCUMENT ANALYSIS AND RECOGNITION, 2011, 14 (03) : 241 - 241
[34] Preface: Selected Extended Papers from Interactive Theorem Proving 2018
Avigad, Jeremy
Mahboubi, Assia
JOURNAL OF AUTOMATED REASONING, 2020, 64 (05) : 793 - 794
[35] Preface: Special Issue of Selected Extended Papers of CADE-22
Schmidt, Renate A.
Pientka, Brigitte
JOURNAL OF AUTOMATED REASONING, 2011, 47 (02) : 107 - 109
[36] Preface: Selected Extended Papers from Interactive Theorem Proving 2018
Jeremy Avigad
Assia Mahboubi
Journal of Automated Reasoning, 2020, 64 : 793 - 794
[37] 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):
[38] Preface: Special Issue of Selected Extended Papers of CADE-23
Nikolaj Bjørner
Viorica Sofronie-Stokkermans
Journal of Automated Reasoning, 2013, 51 : 1 - 2
[39] Preface: Special Issue of Selected Extended Papers from IJCAR 2018
Didier Galmiche
Stephan Schulz
Roberto Sebastiani
Journal of Automated Reasoning, 2020, 64 : 1165 - 1167
[40] 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

← 1 2 3 4 5 →