Artificial and Mathematical Theory of Computation is a collection of papers that discusses the technical, historical, and philosophical problems related to arti

From the winner of the Turing Award and the Abel Prize, an introduction to computational complexity theory, its connections and interactions with mathematics, a

With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of t

This is a collection of classic research papers on the Dempster-Shafer theory of belief functions. The book is the authoritative reference in the field of evide

Computational mechanics is a scientific discipline that marries physics, computers, and mathematics to emulate natural physical phenomena. It is a technology th