Preface to the Special Issue on Automated Reasoning Systems
Biere, Armin, Tinelli, Cesare, Weidenbach, ChristophLanguage:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-019-09531-1
Date:
August, 2019
File:
PDF, 178 KB
english, 2019