The book is currently out of stock
More about the book
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.
Book purchase
Deduction, Wolfgang Bibel
- Language
- Released
- 1993
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.