Handbook of Automated Reasoning - Handbook of Automated Reasoning - Robinson - Bøker - Elsevier Science & Technology - 9780444829498 - 21. juni 2001
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Handbook of Automated Reasoning - Handbook of Automated Reasoning

Robinson

Pris
£ 210,99

Bestillingsvarer

Forventes levert 4. - 13. aug

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 21. juni 2001
ISBN13 9780444829498
Utgivere Elsevier Science & Technology
Antall sider 996
Mål 165 × 240 × 65 mm   ·   1,77 kg
Redaktør Robinson, Alan J.A. (96 Highland Avenue, Greenfield, Massachusetts, USA)
Redaktør Voronkov, Andrei (University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.)
Vis alle

Mer med Robinson

Se alt med Robinson ( f.eks. Bok , Pocketbok , Innbunden bok , CD og LP )