Search Sciweavers | Sciweavers

1322 search results - page 19 / 265

» Unsound Theorem Proving

click to vote

CADE
1994
Springer

190views Logical Reasoning» more CADE 1994»

The Applicability of Logic Program Analysis and Transformation to Theorem Proving

13 years 11 months ago

Download repository.readscheme.org

D. Andre de Waal, John P. Gallagher

claim paper

Read More »

click to vote

CADE
1990
Springer

107views Logical Reasoning» more CADE 1990»

The TPS Theorem Proving System

13 years 11 months ago

Download www.cs.cmu.edu

Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank ...

claim paper

Read More »

click to vote

CADE
1990
Springer

74views Logical Reasoning» more CADE 1990»

Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving

13 years 11 months ago

Download www.mmrc.iss.ac.cn

Shang-Ching Chou, Xiao-Shan Gao

claim paper

Read More »

click to vote

ATVA
2004
Springer

68views Hardware» more ATVA 2004»

Theorem Proving Languages for Verification

13 years 11 months ago

Download www.lix.polytechnique.fr

Jean-Pierre Jouannaud

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

147views Applied Computing» more BIRTHDAY 2005»

Bridging Theorem Proving and Mathematical Knowledge Retrieval

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers