Preface: Selected Extended Papers of CADE 2015

被引：0

作者：

Amy Felty

Aart Middeldorp

机构：

[1] University of Ottawa,School of Electrical Engineering and Computer Science

[2] University of Innsbruck,Department of Computer Science

来源：

Journal of Automated Reasoning | 2017年 / 58卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：311 / 312

页数：1

共 50 条

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

← 1 2 3 4 5 →