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 条

[21] Selected and extended papers from SBLP 2013 Preface
Du Bois, Andre Rauber
Trinder, Phil
SCIENCE OF COMPUTER PROGRAMMING, 2016, 132 : 1 - 1
[22] Selected extended papers of NFM 2021Preface
Aaron Dutle
Mariano M. Moscato
Laura Titolo
C.ésar A. Muñoz
Ivan Perez
Innovations in Systems and Software Engineering, 2023, 19 : 337 - 338
[23] Selected and Extended Papers from TACAS 2018: Preface
Beyer, Dirk
Huisman, Marieke
JOURNAL OF AUTOMATED REASONING, 2020, 64 (07) : 1331 - 1332
[24] Selected and Extended Papers from TACAS 2018: Preface
Dirk Beyer
Marieke Huisman
Journal of Automated Reasoning, 2020, 64 : 1331 - 1332
[25] Selected and extended papers from Bytecode 2013 Preface
Gomez-Zamalloa, Miguel
Puebla, German
SCIENCE OF COMPUTER PROGRAMMING, 2014, 95 : 343 - 343
[26] Selected Papers from ICMA2016 Preface
Berdysheva, Elena
Buhmann, Martin
Davydov, Oleg
JOURNAL OF APPROXIMATION THEORY, 2019, 238 : 1 - 2
[27] SASO 2016: Selected, Revised, and Extended Best Papers
Cabri, Giacomo
Picard, Gauthier
Suri, Niranjan
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2017, 12 (03)
[28] Preface - Special Issue on selected and extended papers from FACS 2019 Preface
Jongmans, Sung-Shik
Arbab, Farhad
SCIENCE OF COMPUTER PROGRAMMING, 2022, 218
[29] Selected and extended papers from ACM SVT 2014 Preface
Pang, Jun
Stoelinga, Marielle
SCIENCE OF COMPUTER PROGRAMMING, 2016, 123 : 1 - 1
[30] Preface: Special Issue of Selected Extended Papers of IJCAR 2010
Giesl, Juergen
Haehnle, Reiner
JOURNAL OF AUTOMATED REASONING, 2011, 47 (04) : 337 - 339

← 1 2 3 4 5 →