Prove

648 books
Gems of theoretical computer scienceUwe Schöning
⏱ 5h 20m

Gems of theoretical computer science

Uwe Schöning

1998320 pp.
Succinum - amber, ignis alcoholis -fireNuala Eising
⏱ 1h 45m

Succinum - amber, ignis alcoholis -fire

Nuala Eising

105 pp.
The homoeopathic proving of Lac HumanumJacqueline Houghton
⏱ 52m

The homoeopathic proving of Lac Humanum

Jacqueline Houghton

199352 pp.
A homeopathic proving of sequoia sempervirens (redwood)Kate Birch
⏱ 16m

A homeopathic proving of sequoia sempervirens (redwood)

Kate Birch

199716 pp.
An insight into plantsRajan Sankaran
⏱ 16h 32m

An insight into plants

Rajan Sankaran

2002992 pp.
Logic for programming artificial intelligence and reasoningMoshe Y. Vardi
⏱ 7h 17m

Logic for programming artificial intelligence and reasoning

Moshe Y. Vardi

2003437 pp.
Meditative provingsMadeline Evans
⏱ 4h 42m

Meditative provings

Madeline Evans

2000282 pp.
The dynamics and methodology of homeopathic provingsJeremy Sherr
⏱ 2h 11m

The dynamics and methodology of homeopathic provings

Jeremy Sherr

1994131 pp.
Little ProverDaniel P. Friedman
⏱ 4h 8m

Little Prover

Daniel P. Friedman

2015248 pp.
The homoeopathic proving of tungstenAnnette Bond
⏱ 1h 18m

The homoeopathic proving of tungsten

Annette Bond

199778 pp.
Automated ReasoningLarry Wos
⏱ 5h 19m

Automated Reasoning

Larry Wos

1987319 pp.
Automated Reasoning with Analytic Tableaux and Related MethodsBernhard Beckert
⏱ 5h 43m

Automated Reasoning with Analytic Tableaux and Related Methods

Bernhard Beckert

2005343 pp.
The provings of granite, marble and limestoneNuala Eising
⏱ 1h 31m

The provings of granite, marble and limestone

Nuala Eising

91 pp.
Symbolic logic and mechanical theorem provingChin-Liang Chang
⏱ 5h 31m

Symbolic logic and mechanical theorem proving

Chin-Liang Chang

1973331 pp.
Gems of Theoretical Computer ScienceUwe Schöning
⏱ 5h 33m

Gems of Theoretical Computer Science

Uwe Schöning

1998333 pp.
Mechanical Geometry Theorem ProvingShang-Ching Chou
⏱ 6h 18m

Mechanical Geometry Theorem Proving

Shang-Ching Chou

1899378 pp.
Automated Theorem ProvingMonty Newborn
⏱ 3h 58m

Automated Theorem Proving

Monty Newborn

2000238 pp.
Proof-term synthesis on dependent-type systems via explicit substitutionsCésar Muñoz

Proof-term synthesis on dependent-type systems via explicit substitutions

César Muñoz

1999No page data
Automated reasoning and its applicationsLarry Wos
⏱ 4h 12m

Automated reasoning and its applications

Larry Wos

1997252 pp.
PiranhaDale Brown
⏱ 7h 14m

Piranha

Dale Brown

2001434 pp.
Page 1 of 33Next →