Prove

648 books
Lac felinumKarl-Josef Mu ller
⏱ 15m

Lac felinum

Karl-Josef Mu ller

199715 pp.
BambooBernd Schuster
⏱ 3h 57m

Bamboo

Bernd Schuster

1995237 pp.
Concise pictures of dynamised drugs personally provenDonald MacFarlan
⏱ 51m

Concise pictures of dynamised drugs personally proven

Donald MacFarlan

193651 pp.
MoschusKarl-Josef Mu ller
⏱ 1h 1m

Moschus

Karl-Josef Mu ller

199761 pp.
Carnegia giganteaTodd Rowe
⏱ 51m

Carnegia gigantea

Todd Rowe

199851 pp.
The making and proving of sol britannicJean Daws
⏱ 1h 2m

The making and proving of sol britannic

Jean Daws

62 pp.
A homoeopathic proving of Latrodectus hasseltii [redback spider]Bronwyn Marks
⏱ 3h 31m

A homoeopathic proving of Latrodectus hasseltii [redback spider]

Bronwyn Marks

1999211 pp.
A note on simplification orderingsNachum Dershowitz

A note on simplification orderings

Nachum Dershowitz

1979No page data
Automated Technology for Verification and AnalysisCyrille Artho
⏱ 9h 1m

Automated Technology for Verification and Analysis

Cyrille Artho

2016541 pp.
Deduction SystemsBlasius.
⏱ 3h 58m

Deduction Systems

Blasius.

1989238 pp.
Leaning search control knowlledge for equational deductionStephan Schulz
⏱ 3h 2m

Leaning search control knowlledge for equational deduction

Stephan Schulz

2007182 pp.
The proving of plutoniumJeremy Sherr
⏱ 5h 6m

The proving of plutonium

Jeremy Sherr

1999306 pp.
Mechanically verified hardware implementing an 8-bit parallel IO Byzantine agreement processorJ Strother Moore

Mechanically verified hardware implementing an 8-bit parallel IO Byzantine agreement processor

J Strother Moore

1992No page data
ColaBernd Schuster
⏱ 5h 5m

Cola

Bernd Schuster

1999305 pp.
Relative complexities of first order calculiElmar Eder
⏱ 2h 53m

Relative complexities of first order calculi

Elmar Eder

1992173 pp.
V&V within reuse-based software engineeringEdward A. Addy

V&V within reuse-based software engineering

Edward A. Addy

1996No page data
Verifying temporal properties of systemsJ. C. Bradfield
⏱ 1h 53m

Verifying temporal properties of systems

J. C. Bradfield

1992113 pp.
Automated Reasoning With Analytic Tableaux and Related MethodsMarta Cialdea Mayer
⏱ 4h 31m

Automated Reasoning With Analytic Tableaux and Related Methods

Marta Cialdea Mayer

2003271 pp.
On simultaneous rigid E-unificationMargus Veanes
⏱ 2h 2m

On simultaneous rigid E-unification

Margus Veanes

1997122 pp.
Introduction to mechanical theorem provingEmmanuel Piseces Lopes Passos
⏱ 13m

Introduction to mechanical theorem proving

Emmanuel Piseces Lopes Passos

197113 pp.
← PreviousPage 4 of 33Next →