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øker - Springer - 9789048150526 - 9. desember 2010
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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 1st Ed. Softcover of Orig. Ed. 1998 edition

Pris
NOK 1.629

Bestillingsvarer

Forventes levert 7. - 15. jan 2026
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes også som:

347 pages, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 9. desember 2010
ISBN13 9789048150526
Utgivere Springer
Antall sider 347
Mål 156 × 234 × 18 mm   ·   485 g
Redaktør Bibel, Wolfgang
Redaktør Schmitt, P. H.

Mer med W Bibel

Vis alle

Se alt med W Bibel ( f.eks. Pocketbok og Innbunden bok )