The CADE-17 ATP system competition

DOI10.1023/A:1017517027537zbMath0988.68797MaRDI QIDQ5956120

Geoff Sutcliffe

Publication date: 30 June 2002

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

zbMATH Keywords

automated theorem provingcompetion

Mathematics Subject Classification ID

Computing methodologies and applications (68U99)

This page was built for publication: The CADE-17 ATP system competition