Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Implementing Mathematics with The Nuprl Proof Development System

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Implementing Mathematics with The Nuprl Proof Development System R L Constable
Libristo kód: 17068327
Nakladateľstvo Createspace Independent Publishing Platform, január 2012
Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as...
? points 30 b
12.35 €
Skladom u dodávateľa Odosielame za 9-15 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Implementing Mathematics with The Nuprl Proof Development System
Autor R L Constable
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2012
Počet strán 310
EAN 9781468059106
ISBN 1468059106
Libristo kód 17068327
Nakladateľstvo Createspace Independent Publishing Platform
Váha 417
Rozmery 152 x 229 x 17

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

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

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?