This book shows you — through examples and puzzles and intriguing questions — how to make your computer reason logically. To help you, the book includes a C

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemor

Automated reasoning programs are successfully tackling challenging problems in mathematics and logic, program verification, and circuit design. This two-volume

This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full