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 €.

Metamath: A Computer Language for Mathematical Proofs

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Metamath: A Computer Language for Mathematical Proofs Norman Megill
Libristo kod: 22618280
Nakladnici Lulu.com, lipanj 2019
Metamath is a computer language and an associated computer program for archiving, verifying, and stu... Cijeli opis
? points 90 b
37.32 €
Vanjske zalihe Šaljemo za 14-21 dana

Do 30 dana za povrat

Kupci su kupili i

Meditaciones JOSE ORTEGA Y GASSET / Audio Audio CD
common.buy 18.10 €
Wir sind die Mehrheit Harald Welzer / Knjiga Meki uvez
common.buy 13.54 €
Amazon M G Scultetus / Knjiga Meki uvez
common.buy 12.53 €
Penguin JUNIOR - Einfach selbst lesen: Koralla, die Meerhexe - Piratenalarm im Leuchtturm (Lesestufe 3) Dorothea Blankenhagen / Knjiga Tvrdi uvez
common.buy 8.79 €
Akuszerka Kettu Katja / Knjiga Meki uvez
common.buy 6.67 €

Metamath is a computer language and an associated computer program for archiving, verifying, and studying mathematical proofs. The Metamath language is simple and robust, with an almost total absence of hard-wired syntax, and we believe that it provides ab

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 Metamath: A Computer Language for Mathematical Proofs
Autor Norman Megill, David A. Wheeler
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2019
Broj stranica 248
EAN 9780359702237
ISBN 0359702236
Libristo kod 22618280
Nakladnici Lulu.com
Težina 498
Dimenzije 152 x 229 x 18

Kategorija

Computing & Information Technology > Information technology: general issues
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

Practical Aspects of Computational Chemistry III Jerzy Leszczynski / Knjiga Tvrdi uvez
common.buy 102.97 €
Conversations with Graham Swift Donald P. Kaczvinsky / Knjiga Meki uvez
common.buy 32.06 €
Conan The Barbarian: The Original Comics Omnibus Vol.6 Michael Lawrence Fleisher / Knjiga Tvrdi uvez
common.buy 86.58 €
Sex and the Church Diarmaid MacCulloch / Knjiga Tvrdi uvez
common.buy 36.91 €
I Died on a Tuesday Corry / Knjiga Meki uvez
common.buy 14.25 €
Top
Sentenced to Brave Punishment, Vol. 1 (light novel) Shokai / Knjiga Meki uvez
common.buy 12.84 €
Stories of Love and More Wyatt Knight / Knjiga Meki uvez
common.buy 14.86 €
Innovative Trends in Computational Intelligence Ravi Tomar / Knjiga Tvrdi uvez
common.buy 144.04 €
Top
Our Teachers Are Dating! Vol. 4 Pikachi Ohi / Knjiga Meki uvez
common.buy 10.61 €
All the Feels Olivia Dade / Knjiga Meki uvez
common.buy 13.95 €
Self-Compassion and Mindfulness: Practical Strategies to Cultivate Self-Awareness and Nurture Emotional Well-Being Tiffany Shelton Mariolle / Knjiga Meki uvez
common.buy 10.61 €
Diary And Correspondence Of John Evelyn V2 (1850) John Evelyn / Knjiga Meki uvez
common.buy 36.41 €
Top
The Buddhist Chef: 100 Simple, Feel-Good Vegan Recipes: A Cookbook Jean-Philippe Cyr / Knjiga Meki uvez
common.buy 18.50 €
History of the Eighty-third Regiment, Indiana Volunteer Infantry, for three years with Sherman Joseph Grecian / Knjiga Meki uvez
common.buy 16.18 €
Washington and His Generals, Or, Legends of the Revolution. George Lippard / Knjiga Meki uvez
common.buy 27.81 €
30 Days to Empathy The 31 / Knjiga Meki uvez
common.buy 10.31 €
Ladybug Girl and the Best Ever Playdate David Soman / Knjiga Tvrdi uvez
common.buy 14.46 €
Entrepreneurship and Management in Forestry and Wood Processing Franz Schmithusen / Knjiga Meki uvez
common.buy 82.53 €
Berenstain Bears and the Gift of Courage Michael Berenstain / Knjiga Meki uvez
common.buy 5.45 €
SAGE Handbook of Criminological Theory Eugene McLaughlin / Knjiga Tvrdi uvez
common.buy 137.46 €
Creating Technology-Driven Entrepreneurship Giuseppina Passiante / Knjiga Tvrdi uvez
common.buy 106.31 €

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?