Fortæl dine venner om denne vare:
5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 - Lecture Notes in Computer Science
W Bibel
Pris
DKK 448
Bestilles fra fjernlager
Forventes klar til forsendelse 15. - 21. aug.
Tilføj til din iMusic ønskeseddel
Eller
5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 - Lecture Notes in Computer Science
W Bibel
396 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 1. juni 1980 |
| ISBN13 | 9783540100096 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 396 |
| Mål | 155 × 233 × 21 mm · 562 g |
| Sprog | Tysk |
| Klipper/redaktør | Bibel, Wolfgang |
| Klipper/redaktør | Kowalski, Robert |
![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 Bog) [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-bog&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 Bog) [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-bog&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 Bog) [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-bog&class=scaled&v=1543837160)
![Cover for W Bibel · Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel - Applied Logic Series (Hardcover bog) [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-bog&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 bog) [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-bog&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 bog) [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-bog&class=scaled&v=1463402285)
