Preface: Special Issue of Selected Extended Papers from IJCAR 2018
Open Access
- 26 May 2020
- journal article
- editorial
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 64 (7) , 1165-1167
Abstract
No abstract availableKeywords
Funding Information
- Baden-Wuerttemberg Cooperative State University Stuttgart (DHBW Stuttgart)