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

Journals (0)

1-10 of 73 results for Theorem provers

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Specification and Integration of Theorem Provers and Computer Algebra Systems

Retricted access

Research article

First published 1999-8

Specification and Integration of Theorem Provers and Computer Algebra Systems

P.G. Bertoli, J. Calmet, F. Giunchiglia [...]

Fundamenta Informaticae

Select article: Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND

Retricted access

Research article

First published

Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND

Nicola Olivetti, Gian Luca Pozzato

Intelligenza Artificiale

Select article: E – a brainiac theorem prover

Retricted access

Research article

First published 2002-5

E – a brainiac theorem prover

Stephan Schulz

The European Journal on Artificial Intelligence

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: TPTP,CASC and the development of a semantically guided theorem prover

Retricted access

Research article

First published 2002-5

TPTP,CASC and the development of a semantically guided theorem prover

Kahlil Hodgson, John Slaney

The European Journal on Artificial Intelligence

Select article: Strong and weak points of the MUSCADET theorem prover – examples from CASC‐JC

Retricted access

Research article

First published 2002-5

Strong and weak points of the MUSCADET theorem prover – examples from CASC‐JC

Dominique Pastre

The European Journal on Artificial Intelligence

Select article: An application of automated reasoning in natural language question answering

Retricted access

Research article

First published 2010-5

An application of automated reasoning in natural language question answering

Ulrich Furbach, Ingo Glöckner, Björn Pelzer

The European Journal on Artificial Intelligence

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: 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: Hierarchical invention of theorem proving strategies

Retricted access

Research article

First published 2018-5-17

Hierarchical invention of theorem proving strategies

Jan Jakubův, Josef Urban

The European Journal on Artificial Intelligence

1
2
3
•••
8
10 / page

Article type

Publication date

Subjects

Access