"Foreword to the Special Issue on Automated Reasoning."

Pascal Fontaine et al. (2018)

Details and statistics

DOI: 10.3233/AIC-180765

access: closed

type: Journal Article

metadata version: 2018-05-23

a service of  Schloss Dagstuhl - Leibniz Center for Informatics