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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
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.96 €
Vanjske zalihe Šaljemo za 14-21 dana

Do 30 dana za povrat

Kupci su kupili i

Estrategias de Sistemas OBD-2 Mandy Concepcion / Knjiga Meki uvez
common.buy 28.36 €
Servidor William Rodriguez / Knjiga Meki uvez
common.buy 9.41 €
Boszorkánykirály Martha Wells / Knjiga Tvrdi uvez
common.buy 12.65 €
Zao wou-ki les estampes (1937-1974) <<<<< Knjiga Knjiga
common.buy 31.50 €
A BRUXA SELANA XABIER DOMINGUEZ / Knjiga Tvrdi uvez
common.buy 14.98 €
Reflexzonenarbeit am Fuß Hanne Marquardt / Knjiga Tvrdi uvez
common.buy 33.22 €
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 €
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.40 €
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.30 €

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

Slope Stability and Erosion Control: Ecotechnological Solutions Joanne E. Norris / Knjiga Tvrdi uvez
common.buy 167.95 €
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 €
New Introduction to Trade and Business; Very Useful for the Youth of Both Sexes. Wherein Is Contained Great Variety of Receipts for Money, Promissory Peter Hudson / Knjiga Tvrdi uvez
common.buy 30.79 €
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.88 €
The Book of The Garden Richard Wehrman / Knjiga Meki uvez
common.buy 14.88 €
Ominous Whoosh: A Wandering Mind Returns to Twin Peaks John Thorne / Knjiga Meki uvez
common.buy 21.16 €
Folk Horror Dawn Keetley / Knjiga Meki uvez
common.buy 34.03 €
Get Funded: An Insider's Guide to Building An Academic Research Program Robert J. Trew / Knjiga Tvrdi uvez
common.buy 84.88 €
Explosive Percolation in Random Networks Wei Chen / Knjiga Meki uvez
common.buy 109.50 €
The Fall and Rise of Women Winfried Sedhoff / Knjiga Tvrdi uvez
common.buy 20.96 €
Dress and Cultural Identity in the Rhine-Moselle Region of the Roman Empire Ursula Rothe / Knjiga Meki uvez
common.buy 74.45 €
Fundamental Feminism Judith Grant / Knjiga Tvrdi uvez
common.buy 209.38 €
Way Ahead 6 Grammar Practice R. Holt / Knjiga Meki uvez
common.buy 9.11 €
History Of The War Of The Independence Of The United States Of America V2 (1845) Charles Botta / Knjiga Meki uvez
common.buy 40.21 €
Music is My Mistress Lisa Williamson / Knjiga Meki uvez
common.buy 16.60 €
Sacred Power of Huna Rima A. Morrell / Knjiga Meki uvez
common.buy 17.62 €
Eight Keys to an Extraordinary Board-Superintendent Partnership Doug Eadie / Knjiga Meki uvez
common.buy 53.48 €
Handbook of Cost Management 2e Roman L. Weil / Knjiga Tvrdi uvez
common.buy 155.69 €
Receptor Signal Transduction Protocols Gary B. Willars / Knjiga Tvrdi uvez
common.buy 109.50 €
Confederate Military History General Clement a. Evans / Knjiga Tvrdi uvez
common.buy 41.63 €
Power of the Universe Lies Within You Pradipta Kumar Das / Knjiga Tvrdi uvez
common.buy 25.32 €
Introduction To Differential Equations, An: Stochastic Modeling, Methods And Analysis (Volume 2) Anil G Lade / Knjiga Meki uvez
common.buy 82.65 €

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?