The CADE-17 ATP system competition

DOI10.1023/A:1017517027537MaRDI QIDQ5956120zbMATH OpenFDO

Authors Geoff Sutcliffe

Publication date 30 June 2002

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

Full work available at URL https://doi.org/10.1023/A:1017517027537

zbMATH Keywords

automated theorem provingcompetion

Mathematics Subject Classification ID

Computing methodologies and applications (68U99)

Cited in

(2)

• The CADE-14 ATP system competition
• Automated Reasoning

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5956120)