Search Sciweavers | Sciweavers

1410 search results - page 21 / 282

» Proving theorems by reuse

click to vote

AMAI
2000
Springer

77views Artificial Intelligence» more AMAI 2000»

TAME: Using PVS strategies for special-purpose theorem proving

13 years 9 months ago

Download www.nrl.navy.mil

Myla Archer

claim paper

Read More »

click to vote

JANCL
2000

52views more JANCL 2000»

On theorem proving in annotated logics

13 years 9 months ago

Download www.mmrc.iss.ac.cn

Mi Lu, Jin-Zhao Wu

claim paper

Read More »

click to vote

AMAI
1999
Springer

96views Artificial Intelligence» more AMAI 1999»

Parallel cooperative propositional theorem proving

13 years 9 months ago

Download users.soe.ucsc.edu

Fumiaki Okushi

claim paper

Read More »

click to vote

JAR
1998

61views more JAR 1998»

A New Approach for Automatic Theorem Proving in Real Geometry

13 years 9 months ago

Download redlog.dolzmann.de

Andreas Dolzmann, Thomas Sturm, Volker Weispfennin...

claim paper

Read More »

click to vote

PPDP
2010
Springer

116views Programming Languages» more PPDP 2010»

On theorem proving for program checking: historical perspective and recent developments

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers