Preface to the Special Issue on Automated Reasoning Systems - Archive ouverte HAL
Article Dans Une Revue Journal of Automated Reasoning Année : 2020

Dates et versions

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

Identifiants

Citer

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⟩
33 Consultations
0 Téléchargements

Altmetric

Partager

More