Search Sciweavers | Sciweavers

3725 search results - page 25 / 745

» DLP System Description

click to vote

CADE
2000
Springer

141views Logical Reasoning» more CADE 2000»

System Description: ARA - An Automatic Theorem Prover for Relation Algebras

15 years 4 months ago

Download www.carstensinz.de

Abstract. aRa is an automatic theorem prover for various kinds of relation algebras. It is based on Gordeev’s Reduction Predicate Calculi for n-variable logic (RPCn) which allow ...

Carsten Sinz

claim paper

Read More »

click to vote

CADE
1999
Springer

126views Logical Reasoning» more CADE 1999»

System Description: inka 5.0 - A Logic Voyager

15 years 4 months ago

Download www.mais.informatik.tu-darmstadt.de

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel ...

claim paper

Read More »

click to vote

TABLEAUX
1999
Springer

93views Artificial Intelligence» more TABLEAUX 1999»

KtSeqC: System Description

15 years 4 months ago

Download reference.kfupm.edu.sa

Vijay Boyapati, Rajeev Goré

claim paper

Read More »

click to vote

CADE
1998
Springer

143views Logical Reasoning» more CADE 1998»

System Description: leanK 2.0

15 years 4 months ago

Download www.uni-koblenz.de

Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...

Bernhard Beckert, Rajeev Goré

claim paper

Read More »

click to vote

CADE
1998
Springer

143views Logical Reasoning» more CADE 1998»

System Description: LEO - A Higher-Order Theorem Prover

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers