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

An introduction to computational complexity theory, its connections and interactions with mathematics, and its central role in the natural and social sciences,

Over the last decade, there has been considerable progress in investigating methods of symbolic mathematics in many application areas of computer science and ar

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

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