Handbook of Automated Reasoning - Handbook of Automated Reasoning - Robinson - Bøger - Elsevier Science & Technology - 9780444829498 - 21. juni 2001
Ved uoverensstemmelse mellem cover og titel gælder titel

Handbook of Automated Reasoning - Handbook of Automated Reasoning

Robinson

Pris
Fr. 283,49

Bestilles fra fjernlager

Forventes klar til forsendelse 31. jul. - 7. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Handbook of Automated Reasoning - Handbook of Automated Reasoning

This first volume of the "Handbook of Automated Reasoning" includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.

996 pages

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 21. juni 2001
ISBN13 9780444829498
Forlag Elsevier Science & Technology
Antal sider 996
Mål 165 × 240 × 65 mm   ·   1,77 kg
Klipper/redaktør Robinson, Alan J.A. (96 Highland Avenue, Greenfield, Massachusetts, USA)
Klipper/redaktør Voronkov, Andrei (University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.)
Vis alle

Mere med Robinson

Se alt med Robinson ( f.eks. Bog , Paperback Bog , Hardcover bog , CD og LP )