The CADE-25 automated theorem proving system competition -- CASC-25

DOI10.3233/AIC-150691MaRDI QIDQ4589259zbMATH OpenFDO

Authors Josef Urban, Geoff Sutcliffe

Publication date 10 November 2017

Published in AI Communications (Search for Journal in Brave)

zbMATH Keywords

competitionautomated theorem proving

Mathematics Subject Classification ID

Recommendations

• The CADE-22 automated theorem proving system competition -- CASC-22
• The CADE-26 automated theorem proving system competition -- CASC-26
• The CADE-27 automated theorem proving system competition -- CASC-27
• scientific article; zbMATH DE number 5305114
• The 10th IJCAR automated theorem proving system competition -- CASC-J10

Cited in

(9)

• The CADE-22 automated theorem proving system competition -- CASC-22
• Fast and slow enigmas and parental guidance
• scientific article; zbMATH DE number 5305114 (Why is no real title available?)
• The CADE-27 automated theorem proving system competition -- CASC-27
• Uniform strategies: The CADE-11 theorem proving contest
• The CADE-26 automated theorem proving system competition -- CASC-26
• The 10th IJCAR automated theorem proving system competition -- CASC-J10
• The state of CASC
• scientific article; zbMATH DE number 1809865 (Why is no real title available?)

This page was built for publication: The CADE-25 automated theorem proving system competition -- CASC-25

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