Tell your friends about this item:
Automated Deduction: a Basis for Applications (Foundations - Calculi and Methodss, Systems and Implementation Techniques) - Applied Logic Series
W Bibel
Price
A$ 257.24
Ordered from remote warehouse
Expected delivery Jul 18 - 28
Our customers say:
Add to your iMusic wish list
Automated Deduction: a Basis for Applications (Foundations - Calculi and Methodss, Systems and Implementation Techniques) - Applied Logic Series
W Bibel
Features the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
335 pages, biography
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | June 30, 1998 |
| ISBN13 | 9780792351313 |
| Publishers | Kluwer Academic Publishers |
| Pages | 335 |
| Dimensions | 160 × 242 × 26 mm · 671 g |
| Language | English |
| Editor | Bibel, Wolfgang |
| Editor | Schmitt, Peter H. |
![Cover for W Bibel · Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series (Paperback Book) [Softcover reprint of hardcover 1st ed. 1998 edition] (2010)](https://imusic.b-cdn.net/images/item/original/502/9789048150502.jpg?w-bibel-2010-automated-deduction-a-basis-for-applications-volume-i-foundations-calculi-and-methods-volume-ii-systems-and-implementation-techniques-volume-iii-applications-applied-logic-series-paperback-book&class=scaled&v=1505146334)
![Cover for W Bibel · Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series (Paperback Book) [1st Ed. Softcover of Orig. Ed. 1998 edition] (2010)](https://imusic.b-cdn.net/images/item/original/526/9789048150526.jpg?w-bibel-2010-automated-deduction-a-basis-for-applications-volume-i-foundations-calculi-and-methods-volume-ii-systems-and-implementation-techniques-volume-iii-applications-applied-logic-series-paperback-book&class=scaled&v=1505146334)
![Cover for W Bibel · Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series (Paperback Book) [Softcover reprint of hardcover 1st ed. 1998 edition] (2010)](https://imusic.b-cdn.net/images/item/original/519/9789048150519.jpg?w-bibel-2010-automated-deduction-a-basis-for-applications-volume-i-foundations-calculi-and-methods-volume-ii-systems-and-implementation-techniques-volume-iii-applications-applied-logic-series-paperback-book&class=scaled&v=1543837160)
![Cover for W Bibel · Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel - Applied Logic Series (Hardcover Book) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/616/9780792362616.jpg?w-bibel-2000-intellectics-and-computational-logic-papers-in-honor-of-wolfgang-bibel-applied-logic-series-hardcover-book&class=scaled&v=1443040645)
![Cover for W Bibel · Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/290/9780792351290.jpg?w-bibel-1998-automated-deduction-a-basis-for-applications-volume-i-foundations-calculi-and-methods-volume-ii-systems-and-implementation-techniques-volume-iii-applications-applied-logic-series-hardcover-book&class=scaled&v=1427529387)
![Cover for W Bibel · Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/306/9780792351306.jpg?w-bibel-1998-automated-deduction-a-basis-for-applications-volume-i-foundations-calculi-and-methods-volume-ii-systems-and-implementation-techniques-volume-iii-applications-applied-logic-series-hardcover-book&class=scaled&v=1463402285)
