Prove

648 books
Computational logicJ. A. Robinson
⏱ 12h 15m

Computational logic

J. A. Robinson

1991735 pp.
Mechanical geometry theorem provingChou, Shang-Ching
⏱ 6h 2m

Mechanical geometry theorem proving

Chou, Shang-Ching

1988362 pp.
Homoeopathy in the Irish potato famineFrancis Treuherz
⏱ 2h 18m

Homoeopathy in the Irish potato famine

Francis Treuherz

1995138 pp.
A guide to homeopathic provingShelese M. Pratt
⏱ 39m

A guide to homeopathic proving

Shelese M. Pratt

200439 pp.
LunaL. C. King
⏱ 57m

Luna

L. C. King

199357 pp.
Collected Works of Larry WosLarry Wos
⏱ 27h 0m

Collected Works of Larry Wos

Larry Wos

20001620 pp.
Automated Technology for Verification and AnalysisFarn Wang
⏱ 8h 26m

Automated Technology for Verification and Analysis

Farn Wang

2004506 pp.
Automated Reasoning with Analytic Tableaux and Related MethodsRoy Dyckhoff
⏱ 7h 21m

Automated Reasoning with Analytic Tableaux and Related Methods

Roy Dyckhoff

2000441 pp.
Theorem proving in higher order logicsTPHOLs 2002 (2002 Hampton, Va.)
⏱ 5h 47m

Theorem proving in higher order logics

TPHOLs 2002 (2002 Hampton, Va.)

2002347 pp.
Handbook of Practical Logic and Automated ReasoningHarrison, John

Handbook of Practical Logic and Automated Reasoning

Harrison, John

2009No page data
Automated technology for verification and analysisSusanne Graf
⏱ 9h 0m

Automated technology for verification and analysis

Susanne Graf

2006540 pp.
Automated Reasoning with Analytic Tableaux and Related MethodsNicola Olivetti
⏱ 4h 5m

Automated Reasoning with Analytic Tableaux and Related Methods

Nicola Olivetti

2007245 pp.
Types for proofs and programsTYPES '95 (1995 Turin, Italy)
⏱ 4h 56m

Types for proofs and programs

TYPES '95 (1995 Turin, Italy)

1996296 pp.
Theorem proving in higher order logicsTPHOLs '96 (1996 Turku, Finland)
⏱ 7h 27m

Theorem proving in higher order logics

TPHOLs '96 (1996 Turku, Finland)

1996447 pp.
H.R. 280, H.R. 704, H.R. 1399, H.R. 1594, H.R. 1618, H.R. 1798, H.R. 1862 and H.R. 2909United States. Congress. House. Committee on Resources. Subcommittee on National Parks, Recreation, and Public Lands
⏱ 1h 13m

H.R. 280, H.R. 704, H.R. 1399, H.R. 1594, H.R. 1618, H.R. 1798, H.R. 1862 and H.R. 2909

United States. Congress. House. Committee on Resources. Subcommittee on National Parks, Recreation, and Public Lands

200473 pp.
Proving Ground at Kent IslandUnited States. Congress. Senate. Committee on Military Affairs
⏱ 1h 30m

Proving Ground at Kent Island

United States. Congress. Senate. Committee on Military Affairs

197190 pp.
IsabelleLawrence C. Paulson
⏱ 5h 21m

Isabelle

Lawrence C. Paulson

1994321 pp.
Rhus glabraPeter L. Tumminello
⏱ 1h 4m

Rhus glabra

Peter L. Tumminello

199064 pp.
Lac caninum new aspects of the remedy with clinical confirmationKarl-Josef Mu ller
⏱ 1h 36m

Lac caninum new aspects of the remedy with clinical confirmation

Karl-Josef Mu ller

199796 pp.
Argentum nitricumKarl-Josef Mu ller
⏱ 1h 3m

Argentum nitricum

Karl-Josef Mu ller

63 pp.
← PreviousPage 3 of 33Next →