Kód: 17068327
Implementing Mathematics with The Nuprl Proof Development System
Autor R L Constable
Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as a manual for users of the Nuprl system Give an overview of the project for those interested in applications of the results and fo ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 310
Nakladateľ: Createspace Independent Publishing Platform, 2012
- Viac informácií o knihe
12.34 €
Bežne: 13.24 €
Ušetríte 0.90 €
Skladom u dodávateľa
Odosielame za 9 - 15 dní
Mohlo by sa vám tiež páčiť
-
Ominous Whoosh: A Wandering Mind Returns to Twin Peaks
20.04 € -7 % -
Reflexzonenarbeit am Fuß
33.20 € -6 % -
Sacred Power of Huna
17.61 € -10 % -
Boszorkánykirály
13.36 € -13 % -
The Navy Blue Angels: In Action - A Regional View
14.88 € -1 % -
Folk Horror
34.62 € -
Eight Keys to an Extraordinary Board-Superintendent Partnership
55.68 € -
Erritas agridulces
13.36 € -6 % -
Music is My Mistress
15.79 € -1 % -
Confederate Military History
39.58 € -2 % -
Dress and Cultural Identity in the Rhine-Moselle Region of the Roman Empire
77.56 € -
Maigret als möblierter Herr
18.82 € -5 % -
Servidor
9 € -6 % -
History Of The War Of The Independence Of The United States Of America V2 (1845)
38.27 € -1 % -
Grant's Heat
14.88 € -9 % -
Heimerziehung als Teil des Handlungsfeldes Kinder- und Jugendhilfe. Geschichte, Struktur und erforderliche Kompetenzen der Fachkräfte
16.19 € -10 % -
Torwege zum Jetzt, 1 Audio-CD
14.88 € -13 % -
Chemistry Concepts Coloring Book
12.34 € -7 % -
Bob Dylan Live 1975: Bootleg Series Vol.5
20.95 € -
The Book of The Garden
14.07 € -7 % -
Überfallkommando
7.38 € -8 % -
Estrategias de Sistemas OBD-2
26.93 € -7 % -
Explosive Percolation in Random Networks
109.45 € -
Auf Dem Weg Zur Biomachtigen Gesellschaft?
78.27 € -6 % -
bonae fidei possessio oder das Recht des Besitzes
109.35 € -4 % -
A BRUXA SELANA
14.98 € -9 % -
Anthropologie des Apostels Paulus
19.74 € -11 % -
Power of the Universe Lies Within You
24.09 € -
Handbook of Cost Management 2e
155.63 € -10 % -
Zao wou-ki les estampes (1937-1974)
33.10 € -
Slope Stability and Erosion Control: Ecotechnological Solutions
167.88 € -
Receptor Signal Transduction Protocols
109.45 € -
Way Ahead 6 Grammar Practice
9.10 € -
Public Opinion In War And Peace
43.63 € -1 % -
Get Funded: An Insider's Guide to Building An Academic Research Program
81 €
Darujte túto knihu ešte dnes
- Objednajte knihu a vyberte Zaslať ako darček.
- Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.
Viac informácií o knihe Implementing Mathematics with The Nuprl Proof Development System
Nákupom získate 30 bodov
Anotácia knihy
Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as a manual for users of the Nuprl system Give an overview of the project for those interested in applications of the results and fo
Parametre knihy
12.34 €
- Celý názov: Implementing Mathematics with The Nuprl Proof Development System
- Autor: R L Constable
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 310
- EAN: 9781468059106
- ISBN: 1468059106
- ID: 17068327
- Nakladateľ: Createspace Independent Publishing Platform
- Hmotnosť: 417 g
- Rozmery: 229 × 152 × 17 mm
- Dátum vydania: 23. January 2012
Obľúbené z iného súdka
-
Moonwalk
14.17 € -
The Score
13.76 € -12 % -
The Deal
12.34 € -21 % -
The Mistake
14.57 € -7 % -
Jujutsu Kaisen, Vol. 30
9.61 € -22 % -
Witch Hat Atelier: Grimoire Edition 1
34.62 € -29 % -
Invincible Compendium Volume 2
42.32 € -30 % -
Berserk Deluxe Volume 1
35.74 € -25 % -
The Goal
14.67 € -10 % -
Berserk Deluxe Volume 2
33.20 € -30 % -
Invincible Compendium Volume 1
57.20 € -9 % -
Witch Hat Atelier Manga Box Set 1
51.33 € -31 % -
Lord of Mysteries, Vol. 3: The Clown, Part III
14.98 € -29 % -
Murdoku
18.12 € -25 % -
Moonwalk: A Memoir
19.94 € -31 % -
Heated Rivalry
12.65 € -7 % -
Jujutsu Kaisen, Vol. 25
9.91 € -20 % -
Legacy
13.56 € -21 % -
Berserk Deluxe Volume 3
55.08 € -
Veil Volume 1
13.56 € -30 % -
White Nights
4.75 € -11 % -
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 7
18.22 € -25 % -
Jujutsu Kaisen, Vol. 29
9.91 € -20 % -
Jujutsu Kaisen, Vol. 26
9.91 € -20 % -
Invincible Compendium Volume 3
45.86 € -24 % -
The Deal
13.76 € -26 % -
The Long Game
13.15 € -3 % -
Dancing The Dream
23.28 € -29 % -
Berserk Deluxe Volume 5
54.77 € -
Invincible Volume 1
10.42 € -21 % -
Starside (Deluxe Limited Edition)
23.28 € -29 % -
Yesteryear
15.99 € -13 % -
Berserk Deluxe Volume 4
43.53 € -17 % -
Jujutsu Kaisen, Vol. 28
7.69 € -30 % -
The Summer Hikaru Died, Vol. 7
11.94 € -21 % -
King of Gluttony
10.22 € -33 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 1
18.32 € -24 % -
Boys Omnibus Vol. 1 TPB
26.32 € -38 % -
Chainsaw Man, Vol. 21
9.31 € -25 % -
The Ballad of Falling Dragons
14.17 € -14 % -
Project Hail Mary
10.52 € -24 % -
The Mistake
13.76 € -26 % -
Veil Volume 2
14.47 € -32 % -
The Score
14.67 € -22 % -
Murdoku
14.07 € -25 % -
Lord of Mysteries, Vol. 1: The Clown, Part I
14.88 € -24 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 2
18.93 € -22 % -
The Courage To Be Disliked
10.62 € -26 % -
Jujutsu Kaisen, Vol. 1
12.65 € -4 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12882 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)