Prove

648 books
Bellis perennisLouise Deacon

Bellis perennis

Louise Deacon

1997No page data
Urolophus halleriTodd Rowe
⏱ 54m

Urolophus halleri

Todd Rowe

200054 pp.
Higher order logic theorem proving and its applicationsCarl-Johan H. Seger
⏱ 8h 38m

Higher order logic theorem proving and its applications

Carl-Johan H. Seger

1994518 pp.
Water-quality and water-level data for a freshwater tidal wetland, West Branch Canal Creek, Aberdeen Proving Ground, Maryland, October 1998-September 1999Unknown Author
⏱ 3h 5m

Water-quality and water-level data for a freshwater tidal wetland, West Branch Canal Creek, Aberdeen Proving Ground, Maryland, October 1998-September 1999

Unknown Author

2000185 pp.
Water-quality and water-level data for a freshwater tidal wetland, West Branch Canal Creek, Aberdeen Proving Ground, Maryland, October 1998-September 1999Unknown Author
⏱ 3h 5m

Water-quality and water-level data for a freshwater tidal wetland, West Branch Canal Creek, Aberdeen Proving Ground, Maryland, October 1998-September 1999

Unknown Author

2000185 pp.
Certified Programming with Dependent TypesAdam Chlipala
⏱ 7h 20m

Certified Programming with Dependent Types

Adam Chlipala

2013440 pp.
Dynamic provingsJeremy Sherr
⏱ 7h 27m

Dynamic provings

Jeremy Sherr

1997447 pp.
Area 51Annie Jacobsen
⏱ 9h 11m

Area 51

Annie Jacobsen

2011551 pp.
Acquisition of Navy land-based test sites can be better managedUnited States. General Accounting Office
⏱ 25m

Acquisition of Navy land-based test sites can be better managed

United States. General Accounting Office

198525 pp.
Defining the IEEE-854 floating-point standard in PVSPaul S. Miner

Defining the IEEE-854 floating-point standard in PVS

Paul S. Miner

1995No page data
Automated Technology for Verification and AnalysisBernd Finkbeiner
⏱ 8h 40m

Automated Technology for Verification and Analysis

Bernd Finkbeiner

2015520 pp.
Automation of ReasoningJ. Siekmann
⏱ 8h 48m

Automation of Reasoning

J. Siekmann

1983528 pp.
Theorem Proving with the Real NumbersHarrison, John
⏱ 3h 19m

Theorem Proving with the Real Numbers

Harrison, John

2011199 pp.
Automated Reasoning with Analytic Tableaux and Related MethodsHans De Nivelle
⏱ 6h 11m

Automated Reasoning with Analytic Tableaux and Related Methods

Hans De Nivelle

2015371 pp.
Automated theorem provingW. Bibel
⏱ 4h 50m

Automated theorem proving

W. Bibel

1982290 pp.
A proof theory for general unificationWayne Snyder
⏱ 2h 55m

A proof theory for general unification

Wayne Snyder

1991175 pp.
The Automation of Reasoning With Incomplete InformationTorsten Schaub
⏱ 2h 39m

The Automation of Reasoning With Incomplete Information

Torsten Schaub

1997159 pp.
GazingDave Plummer
⏱ 1h 44m

Gazing

Dave Plummer

1984104 pp.
Automation of reasoningJörg H. Siekmann
⏱ 8h 45m

Automation of reasoning

Jörg H. Siekmann

1983525 pp.
ProvingsPaul Herscu
⏱ 7h 14m

Provings

Paul Herscu

2002434 pp.
← PreviousPage 2 of 33Next →