Journal Articles
Journal of Automated Reasoning
Year : 2020
Christoph Weidenbach : Connect in order to contact the contributor
https://hal.science/hal-03145431
Submitted on : Thursday, February 18, 2021-1:22:15 PM
Last modification on : Monday, September 11, 2023-5:41:18 PM
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