Selected Extended Papers of ITP 2016: Preface - Archive ouverte HAL Access content directly
Journal Articles Journal of Automated Reasoning Year : 2019

Selected Extended Papers of ITP 2016: Preface

(1, 2) , (3, 4)
1
2
3
4
Fichier principal
Vignette du fichier
editorial.pdf (108.13 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02395177 , version 1 (05-12-2019)

Identifiers

Cite

Jasmin Christian Blanchette, Stephan Merz. Selected Extended Papers of ITP 2016: Preface. Journal of Automated Reasoning, 2019, 62 (2), pp.169-170. ⟨10.1007/s10817-018-9470-8⟩. ⟨hal-02395177⟩
19 View
57 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More