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

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book

Handbook of Automated Reasoning.

This second edition explains what automated reasoning is and what it can do, and then demonstrates how to use it to solve complex problems with applications in

This book constitutes the refereed proceedings of the First International Joint Conference on Automated Reasoning, IJCAR 2001, held in Siena, Italy, in June 200