Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Implementing Mathematics with The Nuprl Proof Development System

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Implementing Mathematics with The Nuprl Proof Development System R L Constable
Libristo kod: 17068327
Nakladnici Createspace Independent Publishing Platform, siječanj 2012
Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as...
? points 31 b
12.95 €
Vanjske zalihe Šaljemo za 9-15 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Estrategias de Sistemas OBD-2 Mandy Concepcion / Knjiga Meki uvez
common.buy 28.35 €
Servidor William Rodriguez / Knjiga Meki uvez
common.buy 9.41 €
Zao wou-ki les estampes (1937-1974) <<<<< Knjiga Knjiga
common.buy 31.69 €
Heimerziehung als Teil des Handlungsfeldes Kinder- und Jugendhilfe. Geschichte, Struktur und erforderliche Kompetenzen der Fachkräfte Jessica Johnsen / Knjiga Meki uvez
common.buy 16.20 €
A BRUXA SELANA XABIER DOMINGUEZ / Knjiga Tvrdi uvez
common.buy 14.17 €
Boszorkánykirály Martha Wells / Knjiga Tvrdi uvez
common.buy 12.65 €
Reflexzonenarbeit am Fuß Hanne Marquardt / Knjiga Tvrdi uvez
common.buy 33.21 €
Maigret als möblierter Herr Walter Kreye / Audio Audio CD
common.buy 17.82 €
bonae fidei possessio oder das Recht des Besitzes Friedrich Wilhelm Tigerstrom / Knjiga Tvrdi uvez
common.buy 109.38 €
Erritas agridulces Jose Prats Sariol / Knjiga Meki uvez
common.buy 14.07 €
Bob Dylan Live 1975: Bootleg Series Vol.5 Bob Dylan / Audio Audio CD
common.buy 20.96 €
Anthropologie des Apostels Paulus Hermann Lüdemann / Knjiga Meki uvez
common.buy 19.74 €
Torwege zum Jetzt, 1 Audio-CD Eckhart Tolle / Audio Audio CD
common.buy 14.88 €
Überfallkommando Edgar Wallace / Knjiga Meki uvez
common.buy 7.38 €
Auf Dem Weg Zur Biomachtigen Gesellschaft? Achim Bühl / Knjiga Meki uvez
common.buy 78.28 €

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

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Implementing Mathematics with The Nuprl Proof Development System
Autor R L Constable
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2012
Broj stranica 310
EAN 9781468059106
ISBN 1468059106
Libristo kod 17068327
Nakladnici Createspace Independent Publishing Platform
Težina 417
Dimenzije 152 x 229 x 17

Kategorija

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Explosive Percolation in Random Networks Wei Chen / Knjiga Meki uvez
common.buy 109.48 €
Grant's Heat Victoria Blue / Knjiga Meki uvez
common.buy 14.88 €
Chemistry Concepts Coloring Book Lauren Mccarthy / Knjiga Meki uvez
common.buy 13.06 €
The Navy Blue Angels: In Action - A Regional View Delores Witkowski / Knjiga Meki uvez
common.buy 15.59 €
Public Opinion In War And Peace Abbott Lawrence Lowell / Knjiga Tvrdi uvez
common.buy 45.87 €
The Book of The Garden Richard Wehrman / Knjiga Meki uvez
common.buy 14.88 €
Get Funded: An Insider's Guide to Building An Academic Research Program Robert J. Trew / Knjiga Tvrdi uvez
common.buy 84.86 €
Dress and Cultural Identity in the Rhine-Moselle Region of the Roman Empire Ursula Rothe / Knjiga Meki uvez
common.buy 77.57 €
Power of the Universe Lies Within You Pradipta Kumar Das / Knjiga Tvrdi uvez
common.buy 25.31 €
Confederate Military History General Clement a. Evans / Knjiga Tvrdi uvez
common.buy 41.62 €
Slope Stability and Erosion Control: Ecotechnological Solutions Joanne E. Norris / Knjiga Tvrdi uvez
common.buy 168.02 €
Receptor Signal Transduction Protocols Gary B. Willars / Knjiga Tvrdi uvez
common.buy 109.48 €
Introduction To Differential Equations, An: Stochastic Modeling, Methods And Analysis (Volume 2) Anil G Lade / Knjiga Meki uvez
common.buy 82.64 €
Nothing Sticks Like a Shadow Ann Tompert / Knjiga Meki uvez
common.buy 8.40 €
History Of The War Of The Independence Of The United States Of America V2 (1845) Charles Botta / Knjiga Meki uvez
common.buy 40.20 €
Handbook of Cost Management 2e Roman L. Weil / Knjiga Tvrdi uvez
common.buy 155.66 €
Eight Keys to an Extraordinary Board-Superintendent Partnership Doug Eadie / Knjiga Meki uvez
common.buy 55.70 €
Folk Horror Dawn Keetley / Knjiga Meki uvez
common.buy 34.63 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?