Preface to the Special Issue on Automated Reasoning Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Automated Reasoning Year : 2020

Dates and versions

hal-03145431 , version 1 (18-02-2021)

Identifiers

Cite

Armin Biere, Cesare Tinelli, Christoph Weidenbach. Preface to the Special Issue on Automated Reasoning Systems. Journal of Automated Reasoning, 2020, 64 (3), pp.361-362. ⟨10.1007/s10817-019-09531-1⟩. ⟨hal-03145431⟩
25 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More