Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Dragi clienți, Vă informăm că, din motive tehnice, asistența noastră telefonică va fi indisponibilă în data de 22.10.2026 și în perioada 26.10 – 30.10.2026. Ne cerem scuze pentru neplăcerile create și vă mulțumim pentru înțelegere. Cu stimă,

Metamath: A Computer Language for Mathematical Proofs

Limba englezăengleză
Carte Copertă tare
Carte Metamath: A Computer Language for Mathematical Proofs Norman Megill
Codul Libristo: 22618280
Editura Lulu.com, iunie 2019
Metamath is a computer language and an associated computer program for archiving, verifying, and stu... Descrierea completă
? points 97 b
213.52 lei
În depozitul extern Expediem în 9-13 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

MANGA STYLE 10: KIRITZUGU ALFREDO CANDELARESI / Carte Carte broșată
common.buy 134.24 lei
Akuszerka Kettu Katja / Carte Carte broșată
common.buy 36.67 lei
Strukturmerkmale der deutschen Geschichte des 20. Jahrhunderts Anselm Doering-Manteuffel / Carte Copertă tare
common.buy 390.37 lei
Moor Willi Rolfes / Carte Copertă tare
common.buy 86.28 lei
Penguin JUNIOR - Einfach selbst lesen: Koralla, die Meerhexe - Piratenalarm im Leuchtturm (Lesestufe 3) Dorothea Blankenhagen / Carte Copertă tare
common.buy 49.63 lei
Amazon M G Scultetus / Carte Carte broșată
common.buy 70.53 lei
L'Image Du Soi Luc Vincenti / Carte Carte broșată
common.buy 221.25 lei
Privé d'Atlantide HEURCELANCE-PHILIPPE / Carte Carte broșată
common.buy 138.66 lei
Clandestins chez les Touaregs, tome 8 Deloche / Carte Carte broșată
common.buy 66.11 lei
PRESENTING THE STRINGS ORCHESTRE JOSEPH COMPELLO Carte binding.
common.buy 66.51 lei
Meditaciones JOSE ORTEGA Y GASSET / Audio Audio CD
common.buy 99.77 lei
Wir sind die Mehrheit Harald Welzer / Carte Carte broșată
common.buy 76.46 lei
Catalogue Des Livres de Monsieur Davy de la Fautriere / Carte Carte broșată
common.buy 99.77 lei

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

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Metamath: A Computer Language for Mathematical Proofs
Autor Norman Megill, David A. Wheeler
Limba engleză
Legare Carte - Copertă tare
Data publicării 2019
Număr pagini 248
EAN 9780359702237
ISBN 0359702236
Codul Libristo 22618280
Editura Lulu.com
Greutatea 498
Dimensiuni 152 x 229 x 18

Categorii

Computing & Information Technology > Information technology: general issues
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Practical Aspects of Computational Chemistry III Jerzy Leszczynski / Carte Copertă tare
common.buy 576.87 lei
At the Master's Side Stephen Poxon / E-book Adobe ePub DRM
common.buy 79.53 lei
History of the Eighty-third Regiment, Indiana Volunteer Infantry, for three years with Sherman Joseph Grecian / Carte Carte broșată
common.buy 90.93 lei
Emotional Support: Keeping Yourself Sane and Eventually Helping Others Gain Composure Even in the Most Difficult Situations Fhilcar Faunillan / Carte Carte broșată
common.buy 64.80 lei
The Buddhist Chef: 100 Simple, Feel-Good Vegan Recipes: A Cookbook Jean-Philippe Cyr / Carte Carte broșată
common.buy 107.61 lei
Conversations with Graham Swift Donald P. Kaczvinsky / Carte Carte broșată
common.buy 201.86 lei
The Protocols of the Learned Elders of Old London Town Kevin Boyle / Carte Carte broșată
common.buy 38.48 lei
Diary And Correspondence Of John Evelyn V2 (1850) John Evelyn / Carte Carte broșată
common.buy 207.99 lei
Self-Compassion and Mindfulness: Practical Strategies to Cultivate Self-Awareness and Nurture Emotional Well-Being Tiffany Shelton Mariolle / Carte Carte broșată
common.buy 61.69 lei
All the Feels Olivia Dade / Carte Carte broșată
common.buy 78.87 lei
Our Teachers Are Dating! Vol. 4 Pikachi Ohi / Carte Carte broșată
common.buy 61.69 lei
Innovative Trends in Computational Intelligence Ravi Tomar / Carte Copertă tare
common.buy 806.87 lei
Stories of Love and More Wyatt Knight / Carte Carte broșată
common.buy 85.00 lei
Russia's Arctic Strategies and the Future of the Far North Marlene Laruelle / Carte Carte broșată
common.buy 417.20 lei
Managing Decline Antti Sihvonen / E-book Adobe ePub DRM
common.buy 209.60 lei
Gentrification as a Global Strategy Abel Albet / E-book Adobe ePub DRM
common.buy 381.77 lei
Digital Twins and Healthcare Noor Zaman Jhanjhi / Carte Copertă tare
common.buy 2 468.16 lei
Top
Sentenced to Be a Hero, Vol. 1 (light novel): The Prison Records of Penal Hero Unit 9004 (Volume 1) Shokai / Carte Carte broșată
common.buy 74.45 lei
I Died on a Tuesday Corry / Carte Carte broșată
common.buy 82.79 lei
Sex and the Church Diarmaid MacCulloch / Carte Copertă tare
common.buy 208.89 lei
Conan The Barbarian: The Original Comics Omnibus Vol.6 Michael Lawrence Fleisher / Carte Copertă tare
common.buy 503.91 lei
The Lake Catherine Cooper / Carte Carte broșată
common.buy 55.36 lei
Top
Italian Paintings at the Yale University Art Gallery Laurence Kanter / Carte Copertă tare
common.buy 457.79 lei
World of the Cold War Vladislav Zubok / E-book Adobe ePub DRM
common.buy 64.13 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?