Preface: Special issue of selected extended papers of CADE-23

被引：0

|

作者：

机构：

[1] Bjørner, Nikolaj

[2] Sofronie-Stokkermans, Viorica

来源：

Sofronie-Stokkermans, V. (sofronie@uni-koblenz.de) | 1600年 / Springer Netherlands, Van Godewijckstraat 30, Dordrecht, 3311 GZ, Netherlands卷 / 51期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Journal article (JA)

引用

收藏

相关论文

共 50 条

[1] Preface: Special Issue of Selected Extended Papers of CADE-23
Bjorner, Nikolaj
Sofronie-Stokkermans, Viorica
JOURNAL OF AUTOMATED REASONING, 2013, 51 (01) : 1 - 2
[2] Preface: Special Issue of Selected Extended Papers of CADE-23
Nikolaj Bjørner
Viorica Sofronie-Stokkermans
Journal of Automated Reasoning, 2013, 51 : 1 - 2
[3] Preface: Special Issue of Selected Extended Papers of CADE 2019
Pascal Fontaine
Journal of Automated Reasoning, 2021, 65 : 891 - 892
[4] Preface: Special Issue of Selected Extended Papers of CADE 2019
Fontaine, Pascal
JOURNAL OF AUTOMATED REASONING, 2021, 65 (07) : 891 - 892
[5] Preface: Special Issue of Selected Extended Papers of CADE-22
Schmidt, Renate A.
Pientka, Brigitte
JOURNAL OF AUTOMATED REASONING, 2011, 47 (02) : 107 - 109
[6] Preface: Special Issue of Selected Extended Papers of CADE-22
Renate A. Schmidt
Brigitte Pientka
Journal of Automated Reasoning, 2011, 47 : 107 - 109
[7] Preface: Selected Extended Papers of CADE 2015
Amy Felty
Aart Middeldorp
Journal of Automated Reasoning, 2017, 58 : 311 - 312
[8] Preface: Selected Extended Papers of CADE 2017
de Moura, Leonardo
JOURNAL OF AUTOMATED REASONING, 2020, 64 (03) : 511 - 511
[9] Preface: Selected Extended Papers of CADE 2015
Felty, Amy
Middeldorp, Aart
JOURNAL OF AUTOMATED REASONING, 2017, 58 (03) : 311 - 312
[10] Preface: Selected Extended Papers of CADE 2017
Leonardo de Moura
Journal of Automated Reasoning, 2020, 64 : 511 - 511

← 1 2 3 4 5 →