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

Home

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.

You May Also Like

Inference on the Low Level: An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition / Edition 1

Inference on the Low Level: An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition / Edition 1

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

Automated Theorem Proving: Theory and Practice / Edition 1

Barnes and Noble
Unified Theories of Cognition / Edition 1

Unified Theories of Cognition / Edition 1

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

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

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

Algebraic Foundations of Many-Valued Reasoning / Edition 1

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

Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification

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

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

Barnes and Noble
Analogies and Theories: Formal Models of Reasoning

Analogies and Theories: Formal Models of Reasoning

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

Fundamentals of Artificial Intelligence: Problem Solving and Automated Reasoning

Barnes and Noble
Inside Case-Based Reasoning / Edition 1

Inside Case-Based Reasoning / Edition 1

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

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

Barnes and Noble
Automated Mathematical Induction / Edition 1

Automated Mathematical Induction / Edition 1

Barnes and Noble
Nondeductive Inference / Edition 1

Nondeductive Inference / Edition 1

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

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

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

Automated Theorem Proving in Software Engineering / Edition 1

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

Logic for Computer Science and Artificial Intelligence / Edition 1

Barnes and Noble
Powered by Adeptmind