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

Journals (0)

1-10 of 30773 results for proving

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

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 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 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: Negation as Failure to Prove and Fixed Points

Retricted access

Research article

First published 1989

Negation as Failure to Prove and Fixed Points

W. Marek, M. Truszczynski

Fundamenta Informaticae

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: Proving Theorems by Program Transformation

Retricted access

Research article

First published 2013-9

Proving Theorems by Program Transformation

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Select article: Feature‐based learning of search‐guiding heuristics for theorem proving

Retricted access

Research article

First published 1998-11

Feature‐based learning of search‐guiding heuristics for theorem proving

Marc Fuchs, Matthias Fuchs

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

Select article: The 11th IJCAR automated theorem proving system competition – CASC-J11

Retricted access

Research article

First published 2023-5-11

The 11th IJCAR automated theorem proving system competition – CASC-J11

Geoff Sutcliffe, Martin Desharnais

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

1
2
3
•••
3078
10 / page

Article type

Publication date

Subjects

Access