"Engines of Logic" by Martin Davis is a book that delves into the world of artificial intelligence, exploring the concepts of logical inference and reasoning. The book provides readers with a comprehensive understanding of the principles and techniques used in AI systems, offering insights into the ways in which logic is applied to these systems to enhance their capabilities. With a focus on the technical aspects of AI, this book is a valuable resource for both students and professionals interested in the field.
eBay