Knowledge Representation, Reasoning and Declarative Problem Solving

Knowledge Representation, Reasoning and Declarative Problem Solving

Logic in Computer Science: Modelling and Reasoning about Systems

Bayesian Reasoning and Machine Learning

A Problem Solving Approach to Mathematics for Elem

The Cambridge Handbook of Artificial Intelligence

The Cambridge Handbook of Artificial Intelligence

Artificial Intelligence A Modern Approach

An Introduction to Mathematical Reasoning: Numbers, Sets and Functions

An Introduction to Mathematical Reasoning: Numbers, Sets and Functions

Inductive Reasoning: Experimental, Developmental, and Computational Approaches

Mathematics in Action Prealgebra Problem Solving

Inductive Reasoning: Experimental, Developmental, and Computational Approaches

Systems of Logic

Applied Mathematical Modeling and Problem Solving, Books a la Carte Edition

Computation, Proof, Machine: Mathematics Enters a New Age

Basic Technical Mathematics, Books a la Carte Edition

Elements of Logical Reasoning

Student Solutions Manual for Prealgebra & Introductory Algebra

Compact Preliminary for Schools Student's Book Without Answers With Online Workbook

Using & Understanding Mathematics A Quantitative Reasoning Approach, Loose-Leaf Edition Plus MyLab Math with Integrated Review -- 24 Month Access Card

Students Solutions Manual for Calculus and Its Applications

Students Solutions Manual for Calculus and Its Applications

Rippling: Meta-Level Guidance for Mathematical Reasoning

Student Solutions Manual for Elementary Algebra

Student Solutions Manual for Prealgebra

Logic, Induction and Sets

Student Solutions Manual for Calculus

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Mathematics in Action Prealgebra Problem Solving, Books a la Carte Plus MML/MSL -- Access Card Package

Approaches to Learning and Teaching Mathematics

Advanced Mathematics for Applications

Student Solutions Manual for Mathematics All Around

Theory of Knowledge for the Ib Diploma Course Guide + Cambridge Elevate Edition

Student's Solutions Manual for College Mathematics for Business, Economics, Life Sciences, and Social Sciences

Student's Solutions Manual for Basic College Mathematics

Student's Solutions Manual for Basic College Mathematics

An Introduction to Non-Classical Logic: From If to Is

Knowledge Representation : An Approach to Artificial Intelligence

Logic Techniques of Formal Reasoning

Handbook of Automated Reasoning

Artificial Intelligence and Tutoring Systems : Computational and Cognitive Approaches to the Communication of Knowledge

Artificial Intelligence and Tutoring Systems : Computational and Cognitive Approaches to the Communication of Knowledge

Logic and Discrete Mathematics A Concise Introduction, Solutions Manual

Fundamentals of Artificial Intelligence: Problem Solving and Automated Reasoning

physics problem solver

A Dictionary of General Knowledge Paperback

Reasoning About Knowledge

Arithmetic and Logic in Computer Systems