Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Metamath: A Computer Language for Mathematical Proofs

Sprache EnglischEnglisch
Buch Hardcover
Buch Metamath: A Computer Language for Mathematical Proofs Norman Megill
Libristo-Code: 22618280
Verlag Lulu.com, Juni 2019
Metamath is a computer language and an associated computer program for archiving, verifying, and stu... Vollständige Beschreibung
? points 95 b
38.69 € inkl. MwSt.
Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Meditaciones JOSE ORTEGA Y GASSET / Audio Audio CD
common.buy 19.49 €
Wir sind die Mehrheit Harald Welzer / Buch Broschur
common.buy 15.00 €
Amazon M G Scultetus / Buch Broschur
common.buy 13.80 €
Penguin JUNIOR - Einfach selbst lesen: Koralla, die Meerhexe - Piratenalarm im Leuchtturm (Lesestufe 3) Dorothea Blankenhagen / Buch Hardcover
common.buy 10.00 €
Akuszerka Kettu Katja / Buch Broschur
common.buy 7.69 €

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

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Metamath: A Computer Language for Mathematical Proofs
Autor Norman Megill, David A. Wheeler
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2019
Anzahl der Seiten 248
EAN 9780359702237
ISBN 0359702236
Libristo-Code 22618280
Verlag Lulu.com
Gewicht 498
Abmessungen 152 x 229 x 18

Kategorie

EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Practical Aspects of Computational Chemistry III Jerzy Leszczynski / Buch Hardcover
common.buy 107.29 €
Conversations with Graham Swift Donald P. Kaczvinsky / Buch Broschur
common.buy 34.89 €
Conan The Barbarian: The Original Comics Omnibus Vol.6 Michael Lawrence Fleisher / Buch Hardcover
common.buy 91.39 €
Sex and the Church Diarmaid MacCulloch / Buch Hardcover
common.buy 38.89 €
I Died on a Tuesday Corry / Buch Broschur
common.buy 14.99 €
Top
Sentenced to Be a Hero, Vol. 1 (light novel): The Prison Records of Penal Hero Unit 9004 (Volume 1) Shokai / Buch Broschur
common.buy 13.49 €
Stories of Love and More Wyatt Knight / Buch Broschur
common.buy 15.39 €
Innovative Trends in Computational Intelligence Ravi Tomar / Buch Hardcover
common.buy 150.19 €
Top
Our Teachers Are Dating! Vol. 4 Pikachi Ohi / Buch Broschur
common.buy 11.19 €
All the Feels Olivia Dade / Buch Broschur
common.buy 14.69 €
Self-Compassion and Mindfulness: Practical Strategies to Cultivate Self-Awareness and Nurture Emotional Well-Being Tiffany Shelton Mariolle / Buch Broschur
common.buy 11.19 €
Diary And Correspondence Of John Evelyn V2 (1850) John Evelyn / Buch Broschur
common.buy 37.69 €
Top
The Buddhist Chef: 100 Simple, Feel-Good Vegan Recipes: A Cookbook Jean-Philippe Cyr / Buch Broschur
common.buy 19.59 €
History of the Eighty-third Regiment, Indiana Volunteer Infantry, for three years with Sherman Joseph Grecian / Buch Broschur
common.buy 16.89 €
Washington and His Generals, Or, Legends of the Revolution. George Lippard / Buch Broschur
common.buy 28.79 €
30 Days to Empathy The 31 / Buch Broschur
common.buy 10.69 €
Ladybug Girl and the Best Ever Playdate David Soman / Buch Hardcover
common.buy 15.29 €
Entrepreneurship and Management in Forestry and Wood Processing Franz Schmithusen / Buch Broschur
common.buy 85.09 €
Berenstain Bears and the Gift of Courage Michael Berenstain / Buch Broschur
common.buy 5.79 €
SAGE Handbook of Criminological Theory Eugene McLaughlin / Buch Hardcover
common.buy 152.09 €
Creating Technology-Driven Entrepreneurship Giuseppina Passiante / Buch Hardcover
common.buy 110.59 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?