The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Automated Theorem Proving: Theory and Practice / Edition 1

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Automated Theorem Proving in Software Engineering / Edition 1

Automated Theorem Proving in Software Engineering / Edition 1

Barnes and Noble
Current Trends in Hardware Verification and Automated Theorem Proving / Edition 1

Current Trends in Hardware Verification and Automated Theorem Proving / Edition 1

Barnes and Noble
Theorems, Corollaries, Lemmas, and Methods of Proof / Edition 1

Theorems, Corollaries, Lemmas, and Methods of Proof / Edition 1

Barnes and Noble
Automated Theory Formation in Pure Mathematics

Automated Theory Formation in Pure Mathematics

Barnes and Noble
Computer Aided Proofs in Analysis / Edition 1

Computer Aided Proofs in Analysis / Edition 1

Barnes and Noble
Applied Proof Theory: Proof Interpretations and their Use in Mathematics / Edition 1

Applied Proof Theory: Proof Interpretations and their Use in Mathematics / Edition 1

Barnes and Noble
Theorems and Counterexamples in Mathematics / Edition 1

Theorems and Counterexamples in Mathematics / Edition 1

Barnes and Noble
An Introduction to Mathematical Proofs / Edition 1

An Introduction to Mathematical Proofs / Edition 1

Barnes and Noble
Mathematical Logic and Theoretical Computer Science / Edition 1

Mathematical Logic and Theoretical Computer Science / Edition 1

Barnes and Noble
Theory Reduction and Theory Change / Edition 1

Theory Reduction and Theory Change / Edition 1

Barnes and Noble
Introduction to Mathematical Proofs / Edition 2

Introduction to Mathematical Proofs / Edition 2

Barnes and Noble
Automated Mathematical Induction / Edition 1

Automated Mathematical Induction / Edition 1

Barnes and Noble
Generic Inference: A Unifying Theory for Automated Reasoning / Edition 1

Generic Inference: A Unifying Theory for Automated Reasoning / Edition 1

Barnes and Noble
A Logical Introduction to Proof / Edition 1

A Logical Introduction to Proof / Edition 1

Barnes and Noble
Hybrid Logic and its Proof-Theory / Edition 1

Hybrid Logic and its Proof-Theory / Edition 1

Barnes and Noble
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings / Edition 1

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings / Edition 1

Barnes and Noble
Powered by Adeptmind