Internal Guidance for Satallax

From MaRDI portal
Publication:2817934

DOI10.1007/978-3-319-40229-1_24zbMath1475.68435arXiv1605.09293OpenAlexW2414651070MaRDI QIDQ2817934

Michael Färber, Chad Edward Brown

Publication date: 5 September 2016

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

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




Related Items


Uses Software


Cites Work