Proceedings 2nd International Workshop on Strategic Reasoning Grenoble, France, April 5-6, 2014 Preface

被引：0

作者：

Mogavero, Fabio ^{[1
]}

Murano, Aniello ^{[1
]}

Vardi, Moshe Y. ^{[2
]}

机构：

[1] Univ Studi Napoli Federico II, Naples, Italy

[2] Rice Univ, Houston, TX 77005 USA

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2014年 / 146期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页数：3

共 50 条

[1] Proceedings Ninth Workshop on Model-Based Testing Grenoble, France, 6 April 2014 Preface
Petrenko, Alexander K.
Schlingloff, Holger
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (141):
[2] Proceedings 5th Workshop on Mathematically Structured Functional Programming Grenoble, France, 12 April 2014 Preface
不详
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (153): : 1 - 1
[3] Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems Grenoble, France, 12-13 April 2014 Preface
Bertrand, Nathalie
Bortolussi, Luca
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (154):
[4] PROCEEDINGS OF THE 2ND INTERNATIONAL WORKSHOP ON SEISMIC ANISOTROPY - PREFACE
BOOTH, DC
CRAMPIN, S
CHESNOKOV, EM
[J]. GEOPHYSICAL JOURNAL OF THE ROYAL ASTRONOMICAL SOCIETY, 1987, 91 (02): : 261 - 263
[5] PROCEEDINGS - 2ND WORKSHOP ON DERMATOPHARMACOLOGY - PREFACE
不详
[J]. JOURNAL OF INVESTIGATIVE DERMATOLOGY, 1976, 67 (05) : 619 - 619
[6] Proceedings of the Fourth International Workshop on Verification and Program Transformation Eindhoven, The Netherlands, 2nd April 2016 Preface
Hamilton, Geoff
Lisitsa, Alexei
Nemytykh, Andrei P.
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (216): : 1 - +
[7] 2ND INTERNATIONAL WORKSHOP ON NONMONOTONIC REASONING
REINFRANK, M
[J]. AI MAGAZINE, 1989, 10 (01) : 81 - 82
[8] Proceedings 11th International Workshop on Formal Engineering approaches to Soft ware Components and Architectures Grenoble, France, 12th April 2014 Preface
Kofron, Jan
Buhnova, Barbora
Happe, Lucia
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (147):
[9] Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies Uppsala, Sweden, 29th April 2017 Preface
Groce, Alex
Leue, Stefan
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (259):
[10] PROCEEDINGS OF THE 2ND SOIL RESIDUE ANALYSIS WORKSHOP - PREFACE
TARRADELLAS, J
[J]. INTERNATIONAL JOURNAL OF ENVIRONMENTAL ANALYTICAL CHEMISTRY, 1992, 46 (1-3) : U3 - U3

← 1 2 3 4 5 →