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

DOI10.3233/AIC-150691zbMATH Open1373.68368MaRDI QIDQ4589259FDOQ4589259

Authors: Josef Urban, Geoff Sutcliffe 

Publication date: 10 November 2017

Published in: AI Communications (Search for Journal in Brave)

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

zbMATH Keywords

competitionautomated theorem proving

Mathematics Subject Classification ID

Cited In (9)

• The 10th IJCAR automated theorem proving system competition -- CASC-J10
• Fast and slow enigmas and parental guidance
• The CADE-26 automated theorem proving system competition -- CASC-26
• Title not available (Why is that?)
• The state of CASC
• Uniform strategies: The CADE-11 theorem proving contest
• Title not available (Why is that?)
• The CADE-22 automated theorem proving system competition -- CASC-22
• The CADE-27 automated theorem proving system competition -- CASC-27

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)