Search Sciweavers | Sciweavers

3773 search results - page 30 / 755

» Logical Reasoning

109

click to vote

KR
1992
Springer

109views Automated Reasoning» more KR 1992»

Quantifier Elimination in Second-Order Predicate Logic

15 years 7 months ago

Download www.dcs.kcl.ac.uk

An algorithm is presented which eliminates second

Dov M. Gabbay, Hans Jürgen Ohlbach

claim paper

Read More »

click to vote

CADE
2009
Springer

121views Logical Reasoning» more CADE 2009»

System Description: H-PILoT

15 years 8 months ago

Download www.mpi-inf.mpg.de

Carsten Ihlemann, Viorica Sofronie-Stokkermans

claim paper

Read More »

104

click to vote

CADE
2001
Springer

101views Logical Reasoning» more CADE 2001»

On the Evaluation of Indexing Techniques for Theorem Proving

15 years 7 months ago

Download www.mpi-inf.mpg.de

Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre ...

claim paper

Read More »

123

click to vote

CAGD
2010

121views more CAGD 2010»

Matrix-based implicit representations of rational algebraic curves and applications

15 years 20 days ago

Download www-sop.inria.fr

Laurent Busé, Thang Luu Ba

claim paper

Read More »

121

click to vote

CAGD
2010

163views more CAGD 2010»

C2 Hermite interpolation by Minkowski Pythagorean hodograph curves and medial axis transform approximation

15 years 20 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers