Fortæl dine venner om denne vare:
Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series W Bibel 1st Ed. Softcover of Orig. Ed. 1998 edition
Pris
DKK 1.275
Bestilles fra fjernlager
Forventes klar til forsendelse 2. - 8. jan. 2026
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Findes også som:
Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series
W Bibel
347 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 9. december 2010 |
| ISBN13 | 9789048150526 |
| Forlag | Springer |
| Antal sider | 347 |
| Mål | 156 × 234 × 18 mm · 485 g |
| Klipper/redaktør | Bibel, Wolfgang |
| Klipper/redaktør | Schmitt, P. H. |