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 - Bøger - Springer - 9789048150526 - 9. december 2010
Ved uoverensstemmelse mellem cover og titel gælder titel

Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 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:

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.

Mere med W Bibel

Vis alle