theorem proving in higher order logics by otmane ait mohamed new

theorem proving in higher order logics by otmane ait mohamed new

Recommended

Automated Theorem Proving in Software Engineering - 9783642087592

Automated Theorem Proving in Software Engineering - 9783642087592

$46.48

View Details

Theorem Proving in Higher Order Logics: 12th International Conference,...

Theorem Proving in Higher Order Logics: 12th International Conference,...

$11.05

View Details

Automated Theorem-Proving in Non-Classical Logics (Research Notes in Theoret...

Automated Theorem-Proving in Non-Classical Logics (Research Notes in Theoret...

$6.69

View Details

Interactive Theorem Proving - 9783642228629

Interactive Theorem Proving - 9783642228629

$48.93

View Details

Symbolic Logic and Mechanical Theorem Proving (Hardback or Cased Book)

Symbolic Logic and Mechanical Theorem Proving (Hardback or Cased Book)

$94.11

View Details

INTERACTIVE THEOREM PROVING AND PROGRAM DEVELOPMENT By Yves Bertot - Hardcover

INTERACTIVE THEOREM PROVING AND PROGRAM DEVELOPMENT By Yves Bertot - Hardcover

$76.95

View Details

Interactive Theorem Proving: - Paperback, by Beringer Lennart Felty - Very Good

Interactive Theorem Proving: - Paperback, by Beringer Lennart Felty - Very Good

$54.69

View Details

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

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

$26.45

View Details

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

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

$11.95

View Details

Proving History: Bayes's Theorem and the Quest for the Hist - VERY GOOD

Proving History: Bayes's Theorem and the Quest for the Hist - VERY GOOD

$8.13

View Details