Preface. Special issue of selected extended papers of IJCAR 2014
From MaRDI portal
Publication:2362488
DOI10.1007/s10817-016-9394-0zbMath1366.00068OpenAlexW2547914024MaRDI QIDQ2362488
No author found.
Publication date: 10 July 2017
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-016-9394-0
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
This page was built for publication: Preface. Special issue of selected extended papers of IJCAR 2014
