Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Createspace Independent Publishing Platform, leden 2012
Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as...
? points 30 b
298 Kč
Skladem u dodavatele Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Estrategias de Sistemas OBD-2 Mandy Concepcion / Kniha Brožovaná
common.buy 651 Kč
Servidor William Rodriguez / Kniha Brožovaná
common.buy 217 Kč
Zao wou-ki les estampes (1937-1974) <<<<< Kniha Kniha
common.buy 800 Kč
Heimerziehung als Teil des Handlungsfeldes Kinder- und Jugendhilfe. Geschichte, Struktur und erforderliche Kompetenzen der Fachkräfte Jessica Johnsen / Kniha Brožovaná
common.buy 369 Kč
A BRUXA SELANA XABIER DOMINGUEZ / Kniha Pevná
common.buy 362 Kč
Boszorkánykirály Martha Wells / Kniha Pevná
common.buy 324 Kč
Reflexzonenarbeit am Fuß Hanne Marquardt / Kniha Pevná
common.buy 757 Kč
Maigret als möblierter Herr Walter Kreye / Audio Audio CD
common.buy 455 Kč
bonae fidei possessio oder das Recht des Besitzes Friedrich Wilhelm Tigerstrom / Kniha Pevná
common.buy 2 505 Kč
Erritas agridulces Jose Prats Sariol / Kniha Brožovaná
common.buy 323 Kč
Bob Dylan Live 1975: Bootleg Series Vol.5 Bob Dylan / Audio Audio CD
common.buy 482 Kč
Anthropologie des Apostels Paulus Hermann Lüdemann / Kniha Brožovaná
common.buy 449 Kč
Torwege zum Jetzt, 1 Audio-CD Eckhart Tolle / Audio Audio CD
common.buy 339 Kč
Überfallkommando Edgar Wallace / Kniha Brožovaná
common.buy 168 Kč
Auf Dem Weg Zur Biomachtigen Gesellschaft? Achim Bühl / Kniha Brožovaná
common.buy 1 788 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Implementing Mathematics with The Nuprl Proof Development System
Autor R L Constable
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2012
Počet stran 310
EAN 9781468059106
ISBN 1468059106
Libristo kód 17068327
Nakladatelství Createspace Independent Publishing Platform
Váha 417
Rozměry 152 x 229 x 17

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

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

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?