Vertel uw vrienden over dit artikel:
Automated Deduction: a Basis for Applications (Foundations - Calculi and Methodss, Systems and Implementation Techniques) - Applied Logic Series
W Bibel
Prijs
R 3.063,99
Besteld in een afgelegen magazijn
Verwachte levering 7 - 15 aug.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Eller
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 | Boeken Hardcover Book (Boek met harde rug en kaft) |
| Vrijgegeven | 30 juni 1998 |
| ISBN13 | 9780792351313 |
| Uitgevers | Kluwer Academic Publishers |
| Pagina's | 335 |
| Afmetingen | 160 × 242 × 26 mm · 671 g |
| Taal en grammatica | Engels |
| Uitgever | Bibel, Wolfgang |
| Uitgever | 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)
