Tipsa dina vänner om produkten:
Automated Deduction: a Basis for Applications (Foundations - Calculi and Methodss, Systems and Implementation Techniques) - Applied Logic Series W Bibel
Pris
SEK 1.579
Beställningsvara
Förväntad leverans 7 - 15 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
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 | Böcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag) |
| Releasedatum | 30 juni 1998 |
| ISBN13 | 9780792351313 |
| Utgivare | Kluwer Academic Publishers |
| Antal sidor | 335 |
| Mått | 160 × 242 × 26 mm · 671 g |
| Språk | Engelska |
| Redaktör | Bibel, Wolfgang |
| Redaktör | 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 (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1543837160)
![Cover for W Bibel · Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel - Applied Logic Series (Inbunden Bok) [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-inbunden-bok&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 (Inbunden Bok) [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-inbunden-bok&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 (Inbunden Bok) [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-inbunden-bok&class=scaled&v=1463402285)
