On First-Order Model-Based Reasoning

From MaRDI portal
Publication:2945706

DOI10.1007/978-3-319-23165-5_8zbMath1322.03013arXiv1502.02535OpenAlexW3100230358MaRDI QIDQ2945706

Viorica Sofronie-Stokkermans, Maria Paola Bonacina, Ulrich Furbach

Publication date: 14 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1502.02535




Related Items (8)


Uses Software


Cites Work


This page was built for publication: On First-Order Model-Based Reasoning