Presents a broad topic of automated deductive reasoning in a concise and comprehensive way. Features include extensive references and exercises. This book contains a comprehensive collection of different deduction mechanisms.
Read More
Presents a broad topic of automated deductive reasoning in a concise and comprehensive way. Features include extensive references and exercises. This book contains a comprehensive collection of different deduction mechanisms.
Read Less
Add this copy of Deduction: Automated Logic to cart. $51.08, good condition, Sold by Book Alley rated 4.0 out of 5 stars, ships from Pasadena, CA, UNITED STATES, published 1993 by Academic Press.
Add this copy of Deduction: Automated Logic to cart. $106.50, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1993 by Academic Press.
