Search Sciweavers | Sciweavers

10 search results - page 1 / 2

» cade 1994

click to vote

CADE
1994
Springer

321views Logical Reasoning» more CADE 1994»

The QED Manifesto

13 years 10 months ago

Download www.cse.chalmers.se

claim paper

Read More »

click to vote

CADE
1994
Springer

161views Logical Reasoning» more CADE 1994»

The Complexity of Counting Problems in Equational Matching

13 years 10 months ago

Download www.lix.polytechnique.fr

Miki Hermann, Phokion G. Kolaitis

claim paper

Read More »

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 10 months ago

Download repository.readscheme.org

D. Andre de Waal, John P. Gallagher

claim paper

Read More »

click to vote

CADE
1994
Springer

131views Logical Reasoning» more CADE 1994»

Deductive Composition of Astronomical Software from Subroutine Libraries

13 years 10 months ago

Download www.cs.utep.edu

Mark E. Stickel, Richard J. Waldinger, Michael R. ...

claim paper

Read More »

click to vote

CADE
1994
Springer

117views Logical Reasoning» more CADE 1994»

Proof Script Pragmatics in IMPS

13 years 10 months ago

Download web.cs.wpi.edu

This paper introduces the imps proof script mechanism and some practical methods for exploiting it.

William M. Farmer, Joshua D. Guttman, Mark E. Nade...

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers