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

Handbook of Automated Reasoning

Andrei Voronkov

Hinta
€ 305,99

Tilattu etävarastosta

Arvioitu toimitus pe - ti 19. - 30. syys

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Handbook of Automated Reasoning

This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

1188 pages, indexes

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 21. kesäkuuta 2001
ISBN13 9780444508126
Tuottaja Elsevier Science & Technology
Sivujen määrä 1188
Mitta 165 × 240 × 60 mm   ·   2,07 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 Andrei Voronkov

Katso kaikki joka sisältää Andrei Voronkov ( Esim. Paperback Book Ja Hardcover Book )