Search Sciweavers | Sciweavers

491 search results - page 12 / 99

» An Interpolating Theorem Prover

127

Voted

CADE
1998
Springer

143views Logical Reasoning» more CADE 1998»

System Description: LEO - A Higher-Order Theorem Prover

15 years 7 months ago

Download www.ags.uni-sb.de

Christoph Benzmüller, Michael Kohlhase

claim paper

Read More »

click to vote

CADE
1990
Springer

101views Logical Reasoning» more CADE 1990»

PARTHEO: A High-Performance Parallel Theorem Prover

15 years 7 months ago

Download ti.arc.nasa.gov

Johann Schumann, Reinhold Letz

claim paper

Read More »

100

click to vote

CADE
1990
Springer

57views Logical Reasoning» more CADE 1990»

A Prolog Technology Theorem Prover

15 years 7 months ago

Download www.cl.cam.ac.uk

Mark E. Stickel

claim paper

Read More »

Voted

AAAI
2004

91views Intelligent Agents» more AAAI 2004»

Semantically Guiding a First-Order Theorem Prover with a Soft Model

15 years 5 months ago

Download www.cs.toronto.edu

Arnold Binas, John K. Slaney

claim paper

Read More »

click to vote

FLAIRS
2001

100views Artificial Intelligence» more FLAIRS 2001»

Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers