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 - 9780792351290 - 30. juni 1998
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 1998 edition

Pris
NOK 2.149

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:

rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.

481 pages, 1, black & white illustrations

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 30. juni 1998
ISBN13 9780792351290
Utgivere Springer
Antall sider 481
Mål 160 × 242 × 33 mm   ·   884 g
Språk Engelsk  
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 )