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 条

[31] Special Issue of Selected Extended Papers of IJCAR 2014 Preface
Demri, Stephane
Kapur, Deepak
Weidenbach, Christoph
JOURNAL OF AUTOMATED REASONING, 2017, 58 (01) : 1 - 2
[32] Preface: Special Issue of Selected Extended Papers of CADE 2019
Pascal Fontaine
Journal of Automated Reasoning, 2021, 65 : 891 - 892
[33] Preface: Special Issue of Selected Extended Papers of IJCAR 2010
Jürgen Giesl
Reiner Hähnle
Journal of Automated Reasoning, 2011, 47 : 337 - 339
[34] Preface: Special Issue of Selected Extended Papers of CADE 2019
Fontaine, Pascal
JOURNAL OF AUTOMATED REASONING, 2021, 65 (07) : 891 - 892
[35] Special Issue on Selected Papers from ICASI 2016 Preface
Meen, Teen-Hang
SENSORS AND MATERIALS, 2017, 29 (04)
[36] Preface: Special Issue of Selected Extended Papers of CADE-22
Renate A. Schmidt
Brigitte Pientka
Journal of Automated Reasoning, 2011, 47 : 107 - 109
[37] 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
[38] Preface: Selected Extended Papers from Interactive Theorem Proving 2018
Avigad, Jeremy
Mahboubi, Assia
JOURNAL OF AUTOMATED REASONING, 2020, 64 (05) : 793 - 794
[39] Preface: Special Issue of Selected Extended Papers of CADE-22
Schmidt, Renate A.
Pientka, Brigitte
JOURNAL OF AUTOMATED REASONING, 2011, 47 (02) : 107 - 109
[40] Preface: Selected Extended Papers from Interactive Theorem Proving 2018
Jeremy Avigad
Assia Mahboubi
Journal of Automated Reasoning, 2020, 64 : 793 - 794

← 1 2 3 4 5 →