The Anatomy of Equinox – An Extensible Automated Reasoning Tool for First-Order Logic and Beyond
From MaRDI portal
Publication:5200011
DOI10.1007/978-3-642-22438-6_1zbMath1341.68186OpenAlexW1214709765MaRDI QIDQ5200011
Publication date: 29 July 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22438-6_1
Related Items (1)
Uses Software
This page was built for publication: The Anatomy of Equinox – An Extensible Automated Reasoning Tool for First-Order Logic and Beyond