theorem proving in high order logics 12th international conference tphols

theorem proving in high order logics 12th international conference tphols

Recommended

HIGHER ORDER LOGIC THEOREM PROVING AND ITS APPLICATIONS By L.j.m. Claesen VG

HIGHER ORDER LOGIC THEOREM PROVING AND ITS APPLICATIONS By L.j.m. Claesen VG

$185.95

View Details

Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of I

Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of I

$131.75

View Details

Automated Theorem Proving by Wolfgang Bibel (German) Paperback Book

Automated Theorem Proving by Wolfgang Bibel (German) Paperback Book

$82.97

View Details

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2

$8.99

View Details

Proving History: Bayes's Theorem and the Quest for the Historical Jesus

Proving History: Bayes's Theorem and the Quest for the Historical Jesus

$13.78

View Details

Theorem Proving With Analytic Tableaux and Related Methods : 4th Internationa...

Theorem Proving With Analytic Tableaux and Related Methods : 4th Internationa...

$67.82

View Details

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 20

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 20

$67.84

View Details

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en

$67.23

View Details

First-Order Logic and Automated Theorem Proving Melvin Fitting hc

First-Order Logic and Automated Theorem Proving Melvin Fitting hc

$99.99

View Details

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 20

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 20

$68.71

View Details