Theorem Proving with the Real Numbers - Distinguished Dissertations - John Harrison - Kirjat - Springer London Ltd - 9781447115939 - sunnuntai 20. marraskuuta 2011
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Theorem Proving with the Real Numbers - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition

John Harrison

Hinta
€ 129,49

Tilattu etävarastosta

Arvioitu toimitus pe - ti 13. - 24. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

Theorem Proving with the Real Numbers - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition

This book discusses the use of the real numbers in theorem proving. We de scribe the rigorous definitional construction of the real numbers, using a new version of Cantor's method, and the formalization of a significant portion of real analysis.

186 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä sunnuntai 20. marraskuuta 2011
ISBN13 9781447115939
Tuottaja Springer London Ltd
Sivujen määrä 186
Mitta 155 × 235 × 10 mm   ·   285 g
Kieli English  
Näytä kaikki

Lisää tuotteita John Harrison

Muutkin ovat ostaneet

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