Approximations for Model Construction

From MaRDI portal
Publication:3192205

DOI10.1007/978-3-319-08587-6_26zbMATH Open1409.68264OpenAlexW199478921MaRDI QIDQ3192205FDOQ3192205

Christoph M. Wintersteiger, Philipp Rรผmmer, Aleksandar Zeljiฤ‡

Publication date: 26 September 2014

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-238017






Cited In (7)


   Recommendations





This page was built for publication: Approximations for Model Construction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3192205)