Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Summary
The feel-good place to buy books
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications by Wolfgang Bibel
rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.| SKU | Unavailable |
| ISBN 13 | 9780792351290 |
| ISBN 10 | 0792351290 |
| Title | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications |
| Author | Wolfgang Bibel |
| Series | Applied Logic Series |
| Condition | Unavailable |
| Binding Type | Hardback |
| Publisher | Kluwer Academic Publishers |
| Year published | 1998-06-30 |
| Number of pages | 481 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |