You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (242)

Journals (0)

1-10 of 242 results for theorem proving system

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Towards the formal performance analysis of multistate coherent systems using HOL theorem proving

Retricted access

Research article

First published 2023-2

Towards the formal performance analysis of multistate coherent systems using HOL theorem proving

Shahid Ali Murtza, Waqar Ahmed, Adnan Rashid [...]

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Select article: The CADE-21 automated theorem proving system competition

Retricted access

Research article

First published 2008-2

The CADE-21 automated theorem proving system competition

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Select article: The CADE-24 automated theorem proving system competition – CASC-24

Retricted access

Research article

First published 2014-11

The CADE-24 automated theorem proving system competition – CASC-24

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Select article: The CADE-25 Automated Theorem Proving system competition – CASC-25

Retricted access

Research article

First published 2016-4-26

The CADE-25 Automated Theorem Proving system competition – CASC-25

Geoff Sutcliffe, Josef Urban

The European Journal on Artificial Intelligence

Select article: The CADE-27 Automated theorem proving System Competition – CASC-27

Retricted access

Research article

First published 2020-3-4

The CADE-27 Automated theorem proving System Competition – CASC-27

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Select article: The CADE-23 Automated Theorem Proving System Competition – CASC-23

Retricted access

Research article

First published 2012-2

The CADE-23 Automated Theorem Proving System Competition – CASC-23

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Select article: The CADE-22 automated theorem proving system competition – CASC-22

Retricted access

Research article

First published 2010-2

The CADE-22 automated theorem proving system competition – CASC-22

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Select article: The 4th IJCAR Automated Theorem Proving System Competition – CASC-J4

Retricted access

Other

First published 2009-2

The 4th IJCAR Automated Theorem Proving System Competition – CASC-J4

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Select article: The 10th IJCAR automated theorem proving system competition – CASC-J10

Retricted access

Research article

First published 2021-9-10

The 10th IJCAR automated theorem proving system competition – CASC-J10

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Select article: The CADE-28 Automated Theorem Proving System Competition – CASC-28

Retricted access

Research article

First published 2022-3-18

The CADE-28 Automated Theorem Proving System Competition – CASC-28

Geoff Sutcliffe, Martin Desharnais

The European Journal on Artificial Intelligence

1
2
3
•••
25
10 / page

Article type

Publication date

Subjects

Access