Article Dans Une Revue
Journal of Automated Reasoning
Année : 2020
Christoph Weidenbach : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03145431
Soumis le : jeudi 18 février 2021-13:22:15
Dernière modification le : lundi 2 décembre 2024-17:46:02
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