Foreword to the Special Issue on Automated Reasoning

Fontaine, P., Kaliszyk, C., Schulz, S., Urban, J.

Foreword to the Special Issue on Automated Reasoning. AI Communications. 2018, 31(3), 235-236. ISSN 0921-7126. DOI 10.3233/AIC-180765.

URL: https://content.iospress.com/articles/ai-communications/aic765