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 (243)
Journals (0)
Save Search
1-10 of 243
results for
theorem proving system
Filters
Filters
Edit Search
Sort by:
Relevance
Select all
Export selected citations
Select all
Export selected citations
Edit Search
Sort by:
Relevance
Select article: Towards the formal performance analysis of multistate coherent systems using HOL theorem proving
Restricted access
Research article
First published February, 2023
Towards the formal performance analysis of multistate coherent systems using HOL theorem proving
Shahid Ali Murtza,
Waqar Ahmed
,
Adnan Rashid
[...]
View All
Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability
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 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-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-30 Automated Theorem Proving System Competition—CASC-30
Restricted access
Research article
First published 2026
The CADE-30 Automated Theorem Proving System Competition—CASC-30
Geoff Sutcliffe
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
Select article: The CADE-22 automated theorem proving system competition – CASC-22
Restricted access
Research article
First published February, 2010
The CADE-22 automated theorem proving system competition – CASC-22
Geoff Sutcliffe
The European Journal on Artificial Intelligence
Preview Abstract
Get Access
Select article: The 4th IJCAR Automated Theorem Proving System Competition – CASC-J4
Restricted access
Other
First published February, 2009
The 4th IJCAR Automated Theorem Proving System Competition – CASC-J4
Geoff Sutcliffe
The European Journal on Artificial Intelligence
Preview Abstract
Get Access
Select article: The 10th IJCAR automated theorem proving system competition – CASC-J10
Restricted access
Research article
First published September 10, 2021
The 10th IJCAR automated theorem proving system competition – CASC-J10
Geoff Sutcliffe
The European Journal on Artificial Intelligence
Preview Abstract
Get Access
1
2
3
•••
25
10 / page
, Adnan Rashid 
