Handbook of Automated Reasoning - Handbook of Automated Reasoning - Robinson - Kirjat - Elsevier Science & Technology - 9780444829498 - torstai 21. kesäkuuta 2001
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Handbook of Automated Reasoning - Handbook of Automated Reasoning

Robinson

Hinta
£ 231,99

Tilattu etävarastosta

Arvioitu toimitus ma - ke 4. - 13. elo

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 21. kesäkuuta 2001
ISBN13 9780444829498
Tuottaja Elsevier Science & Technology
Sivujen määrä 996
Mitta 165 × 240 × 65 mm   ·   1,77 kg
Toimittaja Robinson, Alan J.A. (96 Highland Avenue, Greenfield, Massachusetts, USA)
Toimittaja Voronkov, Andrei (University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.)
Näytä kaikki

Lisää tuotteita Robinson

Katso kaikki joka sisältää Robinson ( Esim. Book , Paperback Book , Hardcover Book , CD Ja LP )