A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital comp

This account of propositional logic concentrates on the algorithmic translation of important methods, especially of decision procedures for (subclasses of) prop

A practical introduction perfect for final-year undergraduate and graduate students without a solid background in linear algebra and calculus.

This book explores why, regarding practical reasoning, humans are sometimes still faster than artificial intelligence systems. It is the first to offer a self-c