Code: 17068327
Implementing Mathematics with The Nuprl Proof Development System
by 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 ... more
- Language:
English - Binding: Paperback
- Number of pages: 310
Publisher: Createspace Independent Publishing Platform, 2012
- More about this
12.33 €
RRP: 13.23 €
You save 0.89 €
In stock at our supplier
Shipping in 14 - 21 days
You might also like
-
Ominous Whoosh: A Wandering Mind Returns to Twin Peaks
20.02 € -7 % -
Reflexzonenarbeit am Fuß
33.17 € -6 % -
Sacred Power of Huna
17.59 € -10 % -
Boszorkánykirály
13.34 € -14 % -
Folk Horror
34.59 € -
The Navy Blue Angels: In Action - A Regional View
14.86 € -1 % -
Eight Keys to an Extraordinary Board-Superintendent Partnership
55.63 € -
Dress and Cultural Identity in the Rhine-Moselle Region of the Roman Empire
74.34 € -
Music is My Mistress
15.77 € -1 % -
Confederate Military History
39.54 € -2 % -
Erritas agridulces
13.34 € -6 % -
Bob Dylan Live 1975: Bootleg Series Vol.5
20.93 € -
Maigret als möblierter Herr
18.81 € -5 % -
Estrategias de Sistemas OBD-2
26.90 € -7 % -
Servidor
8.99 € -6 % -
History Of The War Of The Independence Of The United States Of America V2 (1845)
38.23 € -1 % -
Grant's Heat
14.86 € -9 % -
Torwege zum Jetzt, 1 Audio-CD
14.86 € -13 % -
Heimerziehung als Teil des Handlungsfeldes Kinder- und Jugendhilfe. Geschichte, Struktur und erforderliche Kompetenzen der Fachkräfte
16.18 € -10 % -
Chemistry Concepts Coloring Book
12.33 € -7 % -
Nothing Sticks Like a Shadow
7.88 € -25 % -
Überfallkommando
7.37 € -8 % -
Explosive Percolation in Random Networks
109.44 € -
The Book of The Garden
14.05 € -7 % -
Auf Dem Weg Zur Biomachtigen Gesellschaft?
78.18 € -6 % -
Slope Stability and Erosion Control: Ecotechnological Solutions
167.81 € -
A BRUXA SELANA
14.96 € -9 % -
Receptor Signal Transduction Protocols
109.44 € -
Anthropologie des Apostels Paulus
19.72 € -11 % -
Handbook of Cost Management 2e
155.47 € -10 % -
bonae fidei possessio oder das Recht des Besitzes
109.24 € -4 % -
Power of the Universe Lies Within You
24.07 € -
Zao wou-ki les estampes (1937-1974)
33.17 € -
Way Ahead 6 Grammar Practice
9.09 € -
Public Opinion In War And Peace
43.59 € -1 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Implementing Mathematics with The Nuprl Proof Development System
You get 30 loyalty points
Book synopsis
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
Book details
12.33 €
- Full title: Implementing Mathematics with The Nuprl Proof Development System
- Author: R L Constable
- Language: English
- Binding: Paperback
- Number of pages: 310
- EAN: 9781468059106
- ISBN: 1468059106
- ID: 17068327
- Publisher: Createspace Independent Publishing Platform
- Weight: 417 g
- Dimensions: 229 × 152 × 17 mm
- Date of publishing: 23. January 2012
Trending among others
-
Moonwalk
13.95 € -
The Score
13.65 € -13 % -
The Deal
12.23 € -22 % -
The Mistake
13.44 € -15 % -
Jujutsu Kaisen, Vol. 30
9.90 € -20 % -
Berserk Deluxe Volume 1
35.70 € -25 % -
The Goal
14.56 € -
Berserk Deluxe Volume 2
33.17 € -31 % -
Invincible Compendium Volume 2
45.81 € -24 % -
Legacy
11.93 € -22 % -
Lord of Mysteries, Vol. 3: The Clown, Part III
17.09 € -13 % -
Berserk Deluxe Volume 3
55.22 € -
Dancing The Dream
19.92 € -31 % -
Murdoku
14.05 € -28 % -
White Nights
4.54 € -
Chainsaw Man, Vol. 21
7.68 € -30 % -
Witch Hat Atelier Manga Box Set 1
51.28 € -31 % -
Jujutsu Kaisen, Vol. 29
9.70 € -25 % -
Jujutsu Kaisen, Vol. 25
9.70 € -25 % -
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 7
18.10 € -25 % -
Berserk Deluxe Volume 5
54.92 € -
Witch Hat Atelier: Grimoire Edition 1
35.29 € -29 % -
Invincible Compendium Volume 3
46.42 € -23 % -
Jujutsu Kaisen, Vol. 26
9.70 € -25 % -
Heated Rivalry
12.43 € -8 % -
Lord of Mysteries, Vol. 1: The Clown, Part I
15.37 € -22 % -
Jujutsu Kaisen, Vol. 2
9.90 € -20 % -
Jujutsu Kaisen, Vol. 1
13.34 € -
Moonwalk: A Memoir
21.74 € -31 % -
Veil Volume 1
11.62 € -27 % -
Berserk Deluxe Volume 4
43.59 € -17 % -
Jujutsu Kaisen, Vol. 28
9.70 € -25 % -
Yesteryear
16.38 € -23 % -
Invincible Compendium Volume 1
45.81 € -24 % -
The Deal
14.66 € -22 % -
The Long Game
12.23 € -10 % -
Restitution
9.80 € -27 % -
The Courage To Be Disliked
10.61 € -14 % -
Murdoku
14.86 € -27 % -
Witch Hat Atelier: Grimoire Edition 2
34.69 € -30 % -
The Ballad of Falling Dragons
14.05 € -14 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 1
18.91 € -22 % -
Berserk Deluxe Volume 6
54.72 € -
Jujutsu Kaisen, Vol. 3
9.30 € -28 % -
Voracious
11.32 € -16 % -
Lord of Mysteries, Vol. 2: The Clown, Part II
19.31 € -2 % -
The Summer Hikaru Died, Vol. 7
11.93 € -21 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 2
18.91 € -22 % -
Atomic Habits
15.77 € -23 %
Shopping guide
Books by language
Collection points Bratislava a 12880 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25764 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)