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 11 septembre 2023-17:41:18
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⟩
28
Consultations
0
Téléchargements