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 : Friday, March 24, 2023-2:53:20 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⟩
24
View
0
Download