Search Sciweavers | Sciweavers

1302 search results - page 20 / 261

» Free-Style Theorem Proving

click to vote

WADT
1999
Springer

103views Software Engineering» more WADT 1999»

Higher-Order Logic and Theorem Proving for Structured Specifications

15 years 2 months ago

Download delta.math.univ.gda.pl

Tomasz Borzyszkowski

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

15 years 1 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

15 years 1 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

15 years 1 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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers