Skip to main content
Menu
Filter Results
Search all journals
Enter search terms…
Advanced search
Search
Access/Profile
CHN
/
ENG
Browse
Information for
Search results
Search results page
Save Search
Articles (53)
Journals (0)
Save Search
1-10 of 53
results for
Automated Theorem Proving
Filters
Filters
Edit Search
Sort by:
Relevance
Select all
Export selected citations
Select all
Export selected citations
Edit Search
Sort by:
Relevance
Select article: The 3rd IJCAR Automated Theorem Proving Competition
Restricted access
Research article
First published May, 2007
The 3rd IJCAR Automated Theorem Proving Competition
Geoff Sutcliffe
The European Journal on Artificial Intelligence
Preview Abstract
Get Access
Select article: The CADE-20 Automated Theorem Proving Competition
Restricted access
Research article
First published May, 2006
The CADE-20 Automated Theorem Proving Competition
Geoff Sutcliffe
The European Journal on Artificial Intelligence
Preview Abstract
Get Access
Select article: The IJCAR-2004 Automated Theorem Proving Competition
Restricted access
Research article
First published February, 2005
The IJCAR-2004 Automated Theorem Proving Competition
Geoff Sutcliffe
The European Journal on Artificial Intelligence
Preview Abstract
Get Access
Select article: The CADE-21 automated theorem proving system competition
Restricted access
Research article
First published February, 2008
The CADE-21 automated theorem proving system competition
Geoff Sutcliffe
The European Journal on Artificial Intelligence
Preview Abstract
Get Access
Select article: The 11th IJCAR automated theorem proving system competition – CASC-J11
Restricted access
Research article
First published May 11, 2023
The 11th IJCAR automated theorem proving system competition – CASC-J11
Geoff Sutcliffe,
Martin Desharnais
The European Journal on Artificial Intelligence
Preview Abstract
Get Access
Select article: The CADE-28 Automated Theorem Proving System Competition – CASC-28
Restricted access
Research article
First published March 18, 2022
The CADE-28 Automated Theorem Proving System Competition – CASC-28
Geoff Sutcliffe,
Martin Desharnais
The European Journal on Artificial Intelligence
Preview Abstract
Get Access
Select article: The CADE-24 automated theorem proving system competition – CASC-24
Restricted access
Research article
First published November, 2014
The CADE-24 automated theorem proving system competition – CASC-24
Geoff Sutcliffe
The European Journal on Artificial Intelligence
Preview Abstract
Get Access
Select article: The CADE-25 Automated Theorem Proving system competition – CASC-25
Restricted access
Research article
First published April 26, 2016
The CADE-25 Automated Theorem Proving system competition – CASC-25
Geoff Sutcliffe,
Josef Urban
The European Journal on Artificial Intelligence
Preview Abstract
Get Access
Select article: The CADE-27 Automated theorem proving System Competition – CASC-27
Restricted access
Research article
First published March 4, 2020
The CADE-27 Automated theorem proving System Competition – CASC-27
Geoff Sutcliffe
The European Journal on Artificial Intelligence
Preview Abstract
Get Access
Select article: The CADE-23 Automated Theorem Proving System Competition – CASC-23
Restricted access
Research article
First published February, 2012
The CADE-23 Automated Theorem Proving System Competition – CASC-23
Geoff Sutcliffe
The European Journal on Artificial Intelligence
Preview Abstract
Get Access
1
2
3
•••
6
10 / page
