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 (38)

Journals (0)

1-10 of 38 results for Automated Theorem Provers

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Automated theorem proving in quasigroup and loop theory

Retricted access

Research article

First published 2010-5

Automated theorem proving in quasigroup and loop theory

J.D. Phillips, David Stanovský

The European Journal on Artificial Intelligence

Select article: ILF and DAWN for Verifying Distributed Algorithms – An Idea for a Tool

Retricted access

Research article

First published 1999-2

ILF and DAWN for Verifying Distributed Algorithms – An Idea for a Tool

Thomas Baar, Ekkart Kindler

Fundamenta Informaticae

Select article: The CADE-20 Automated Theorem Proving Competition

Retricted access

Research article

First published 2006-5

The CADE-20 Automated Theorem Proving Competition

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Select article: The 3rd IJCAR Automated Theorem Proving Competition

Retricted access

Research article

First published 2007-5

The 3rd IJCAR Automated Theorem Proving Competition

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Select article: The IJCAR-2004 Automated Theorem Proving Competition

Retricted access

Research article

First published 2005-2

The IJCAR-2004 Automated Theorem Proving Competition

Geoff Sutcliffe

The European Journal on Artificial Intelligence

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: Tableaux Versus Resolution a Comparison

Retricted access

Research article

First published 1993

Tableaux Versus Resolution a Comparison

W.M.J. Ophelders, H.C.M. De Swart

Fundamenta Informaticae

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 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
4
10 / page

Article type

Publication date

Subjects

Access