Preface - Special Issue on selected and extended papers from FACS 2019 Preface

被引：0

|

作者：

Jongmans, Sung-Shik

Arbab, Farhad

机构：

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2022年 / 218卷

关键词：

D O I：

10.1016/j.scico.2022.102807

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页数：2

相关论文

共 50 条

[1] Preface to Special issue with extended selected papers from FACS 2015
Braga, Christiano
SCIENCE OF COMPUTER PROGRAMMING, 2017, 146 : 1 - 1
[2] Preface: Special Issue of Selected Extended Papers of CADE 2019
Fontaine, Pascal
JOURNAL OF AUTOMATED REASONING, 2021, 65 (07) : 891 - 892
[3] Preface: Special Issue of Selected Extended Papers of CADE 2019
Pascal Fontaine
Journal of Automated Reasoning, 2021, 65 : 891 - 892
[4] Selected and extended papers from FACS 2016 Preface
Kouchnarenko, Olga
Madelaine, Eric
SCIENCE OF COMPUTER PROGRAMMING, 2019, 178 : 43 - 44
[5] Special issue on selected and extended papers from SIMPAR 2016 PREFACE
Kroger, Torsten
Menon, Samir
Mombaur, Katja
Kurniawati, Hanna
Pavone, Marco
ADVANCED ROBOTICS, 2017, 31 (22) : 1157 - 1158
[6] Preface: Special Issue of Selected Extended Papers from IJCAR 2018
Didier Galmiche
Stephan Schulz
Roberto Sebastiani
Journal of Automated Reasoning, 2020, 64 : 1165 - 1167
[7] Preface: Special Issue of Selected Extended Papers from IJCAR 2018
Galmiche, Didier
Schulz, Stephan
Sebastiani, Roberto
JOURNAL OF AUTOMATED REASONING, 2020, 64 (07) : 1165 - 1167
[8] Preface: Special Issue of Selected Extended Papers of IJCAR 2010
Giesl, Juergen
Haehnle, Reiner
JOURNAL OF AUTOMATED REASONING, 2011, 47 (04) : 337 - 339
[9] 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
[10] Preface: Special Issue of Selected Extended Papers of IJCAR 2010
Jürgen Giesl
Reiner Hähnle
Journal of Automated Reasoning, 2011, 47 : 337 - 339

← 1 2 3 4 5 →