The problem of automated theorem finding
From MaRDI portal
Publication:1312164
DOI10.1007/BF00881868zbMath0783.68112WikidataQ114267036 ScholiaQ114267036MaRDI QIDQ1312164
Publication date: 20 March 1994
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Related Items
Cites Work