Selected Extended Papers of NFM 2016: Preface

被引：0

作者：

机构：

[1] Muñoz, César A.

[2] Rayadurgam, Sanjai

[3] Tkachuk, Oksana

来源：

Muñoz, César A. (cesar.a.munoz@nasa.gov) | 1600年 / Springer Science and Business Media B.V.卷 / 60期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[31] Selected and extended papers from ACM SVT 2014 Preface
Pang, Jun
Stoelinga, Marielle
SCIENCE OF COMPUTER PROGRAMMING, 2016, 123 : 1 - 1
[32] Preface: Special Issue of Selected Extended Papers of IJCAR 2010
Giesl, Juergen
Haehnle, Reiner
JOURNAL OF AUTOMATED REASONING, 2011, 47 (04) : 337 - 339
[33] 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
[34] Preface: Special Issue of Selected Extended Papers of CADE 2019
Pascal Fontaine
Journal of Automated Reasoning, 2021, 65 : 891 - 892
[35] Preface: Special Issue of Selected Extended Papers of IJCAR 2010
Jürgen Giesl
Reiner Hähnle
Journal of Automated Reasoning, 2011, 47 : 337 - 339
[36] Preface: Special Issue of Selected Extended Papers of CADE 2019
Fontaine, Pascal
JOURNAL OF AUTOMATED REASONING, 2021, 65 (07) : 891 - 892
[37] Special Issue on Selected Papers from ICASI 2016 Preface
Meen, Teen-Hang
SENSORS AND MATERIALS, 2017, 29 (04)
[38] Preface: Special Issue of Selected Extended Papers of CADE-22
Renate A. Schmidt
Brigitte Pientka
Journal of Automated Reasoning, 2011, 47 : 107 - 109
[39] 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
[40] Preface: Selected Extended Papers from Interactive Theorem Proving 2018
Avigad, Jeremy
Mahboubi, Assia
JOURNAL OF AUTOMATED REASONING, 2020, 64 (05) : 793 - 794

← 1 2 3 4 5 →