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

Barnes and Noble

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

Unfortunately, this item is no longer available, but we found some similar items you might like.
Inference on the Low Level: An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition / Edition 1
Barnes and Noble

Inference on the Low Level: An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition / 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
Unified Theories of Cognition / Edition 1
Barnes and Noble

Unified Theories of Cognition / Edition 1

From Barnes and Noble
Model-Based Reasoning: Science, Technology, Values / Edition 1
Barnes and Noble

Model-Based Reasoning: Science, Technology, Values / Edition 1

From Barnes and Noble
Algebraic Foundations of Many-Valued Reasoning / Edition 1
Barnes and Noble

Algebraic Foundations of Many-Valued Reasoning / Edition 1

From Barnes and Noble
Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification
Barnes and Noble

Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification

From Barnes and Noble
Abductive Reasoning: Logical Investigations into Discovery and Explanation / Edition 1
Barnes and Noble

Abductive Reasoning: Logical Investigations into Discovery and Explanation / Edition 1

From Barnes and Noble
Analogies and Theories: Formal Models of Reasoning
Barnes and Noble

Analogies and Theories: Formal Models of Reasoning

From Barnes and Noble
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
Inside Case-Based Reasoning / Edition 1
Barnes and Noble

Inside Case-Based Reasoning / Edition 1

From Barnes and Noble
Model-Based Reasoning in Science and Technology: Inferential Models for Logic, Language, Cognition and Computation
Barnes and Noble

Model-Based Reasoning in Science and Technology: Inferential Models for Logic, Language, Cognition and Computation

From Barnes and Noble
Automated Mathematical Induction / Edition 1
Barnes and Noble

Automated Mathematical Induction / Edition 1

From Barnes and Noble
Nondeductive Inference / Edition 1
Barnes and Noble

Nondeductive Inference / Edition 1

From Barnes and Noble
Logica Universalis: Towards a General Theory of Logic / Edition 2
Barnes and Noble

Logica Universalis: Towards a General Theory of Logic / Edition 2

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
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
Powered by Adeptmind