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. $50.54, 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. $73.54, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1993 by Academic Press.