Vertel uw vrienden over dit artikel:
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series Softcover reprint of hardcover 1st ed. 1998 edition
W Bibel
Prijs
₪ 771,72
Besteld in een afgelegen magazijn
Verwachte levering 4 - 12 aug.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Eller
Ook verkrijgbaar als:
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series Softcover reprint of hardcover 1st ed. 1998 edition
W Bibel
BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.
450 pages, biography
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 6 december 2010 |
| ISBN13 | 9789048150519 |
| Uitgevers | Springer |
| Pagina's | 434 |
| Afmetingen | 160 × 240 × 23 mm · 625 g |
| Uitgever | Bibel, Wolfgang |
| Uitgever | Schmitt, P.H. |
![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)
