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

W Bibel

Pris
DKK 1.687

Bestilles fra fjernlager

Forventes klar til forsendelse 15. - 21. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
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 1998 edition

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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 30. juni 1998
ISBN13 9780792351290
Forlag Springer
Antal sider 481
Mål 160 × 242 × 33 mm   ·   884 g
Sprog Engelsk  
Klipper/redaktør Bibel, Wolfgang
Klipper/redaktør Schmitt, P.H.
Vis alle

Mere med W Bibel

Se alt med W Bibel ( f.eks. Paperback Bog og Hardcover bog )