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

Home

Barnes and Noble

Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification

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

You May Also Like

Fundamentals of Artificial Intelligence: Problem Solving and Automated Reasoning
Barnes and Noble

Fundamentals of Artificial Intelligence: Problem Solving and Automated Reasoning

From Barnes and Noble
Mathematical Logic and Computation
Barnes and Noble

Mathematical Logic and Computation

From Barnes and Noble
Computational Logic / Edition 1
Barnes and Noble

Computational Logic / Edition 1

From Barnes and Noble
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies
Barnes and Noble

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies

From Barnes and Noble
Mathematical Logic for Computer Science / Edition 3
Barnes and Noble

Mathematical Logic for Computer Science / Edition 3

From Barnes and Noble
Reasoning with Logic Programming / Edition 1
Barnes and Noble

Reasoning with Logic Programming / Edition 1

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

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

From Barnes and Noble
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning
Barnes and Noble

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

From Barnes and Noble
Automated Theorem Proving in Software Engineering / Edition 1
Barnes and Noble

Automated Theorem Proving in Software Engineering / Edition 1

From Barnes and Noble
Handbook of Computer Aided Verification
Barnes and Noble

Handbook of Computer Aided Verification

From Barnes and Noble
An Introduction To Traditional Logic: Classical Reasoning For Contemporary
Barnes and Noble

An Introduction To Traditional Logic: Classical Reasoning For Contemporary

From Barnes and Noble
Logic for Computer Science and Artificial Intelligence / Edition 1
Barnes and Noble

Logic for Computer Science and Artificial Intelligence / Edition 1

From Barnes and Noble
Automated Theorem Proving: Theory and Practice / Edition 1
Barnes and Noble

Automated Theorem Proving: Theory and Practice / Edition 1

From Barnes and Noble
Applications of Logic Databases / Edition 1
Barnes and Noble

Applications of Logic Databases / Edition 1

From Barnes and Noble
Philosophical Logic: An Introduction to Advanced Topics
Barnes and Noble

Philosophical Logic: An Introduction to Advanced Topics

From Barnes and Noble
Non-axiomatic Logic: A Model Of Intelligent Reasoning
Barnes and Noble

Non-axiomatic Logic: A Model Of Intelligent Reasoning

From Barnes and Noble
Powered by Adeptmind