Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings - Lecture Notes in Computer Science - Otmane Ait Mohamed - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540710653 - keskiviikko 30. heinäkuuta 2008
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings - Lecture Notes in Computer Science 2008 edition

Otmane Ait Mohamed

Hinta
£ 54,49

Tilattu etävarastosta

Arvioitu toimitus to 29. touko - ma 9. kesä

Asiakkaamme sanovat:

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

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings - Lecture Notes in Computer Science 2008 edition

Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.

321 pages, black & white illustrations

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 30. heinäkuuta 2008
ISBN13 9783540710653
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 321
Mitta 155 × 235 × 17 mm   ·   498 g
Kieli French  
Toimittaja Ait Mohamed, Otmane
Toimittaja Munoz, Cesar
Toimittaja Tahar, Sofiene

Katso kaikki joka sisältää Otmane Ait Mohamed ( Esim. Paperback Book )