Vérifier l’état de la commande

Vérifier l’état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

La Poste Autrichienne 5.49 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €

phone

Contact

phone

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

0

Livre Metamath: A Computer Language for Mathematical Proofs Norman Megill

Metamath: A Computer Language for Mathematical Proofs

David A. Wheeler

Langue

Anglais

Livre Livre relié

Livre Metamath: A Computer Language for Mathematical Proofs Norman Megill

Code Libristo: 22618280

Éditeurs Lulu.com, juin 2019

Metamath is a computer language and an associated computer program for archiving, verifying, and stu... Description détaillée

Code Libristo: 22618280

?

points

86 b

35.09 € TVA incluse

Stockage externe Expédition sous 10-16 jours

Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Strukturmerkmale der deutschen Geschichte des 20. Jahrhunderts Anselm Doering-Manteuffel

/

Livre relié

79.95 €

MANGA STYLE 10: KIRITZUGU ALFREDO CANDELARESI

/

Livre de poche

23.99 €

Akuszerka Kettu Katja

/

Livre de poche

6.09 €

Moor Willi Rolfes

/

Livre relié

17.01 €

Penguin JUNIOR - Einfach selbst lesen: Koralla, die Meerhexe - Piratenalarm im Leuchtturm (Lesestufe 3) Dorothea Blankenhagen

/

Livre relié

10.00 €

Amazon M G Scultetus

/

Livre de poche

13.80 €

L'Image Du Soi Luc Vincenti

/

Livre de poche

39.09 €

Privé d'Atlantide HEURCELANCE-PHILIPPE

/

Livre de poche

22.99 €

Clandestins chez les Touaregs, tome 8 Deloche

/

Livre de poche

11.19 €

PRESENTING THE STRINGS ORCHESTRE JOSEPH COMPELLO Livre

binding.

11.09 €

Wir sind die Mehrheit Harald Welzer

/

Livre de poche

15.00 €

Meditaciones JOSE ORTEGA Y GASSET

/

CD Audio

16.79 €

Catalogue Des Livres de Monsieur Davy de la Fautriere

/

Livre de poche

16.39 €

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

Actrice & Polyglotte

EWA KASP pour

Lire la vidéo

Ewa Kasp

Ewa Kasp

Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Metamath: A Computer Language for Mathematical Proofs

Auteur Norman Megill, David A. Wheeler

Langue

Anglais

Reliure Livre - Livre relié

Date de parution 2019

Nombre de pages 248

EAN 9780359702237

ISBN 0359702236

Code Libristo 22618280

Éditeurs Lulu.com

Poids 498

Dimensions 152 x 229 x 18

Catégories

Informatique et technologies de l’information > Technologies de l’information : questions générales

Offrez ce livre dès aujourd'hui

C’est simple

1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Practical Aspects of Computational Chemistry III Jerzy Leszczynski

/

Livre relié

101.79 €

Managing Decline Antti Sihvonen

/

Adobe ePub DRM

33.70 €

Emotional Support: Keeping Yourself Sane and Eventually Helping Others Gain Composure Even in the Most Difficult Situations Fhilcar Faunillan

/

Livre de poche

10.59 €

The Buddhist Chef: 100 Simple, Feel-Good Vegan Recipes: A Cookbook Jean-Philippe Cyr

/

Livre de poche

18.79 €

Conversations with Graham Swift Donald P. Kaczvinsky

/

Livre de poche

33.79 €

The Protocols of the Learned Elders of Old London Town Kevin Boyle

/

Livre de poche

6.29 €

Diary And Correspondence Of John Evelyn V2 (1850) John Evelyn

/

Livre de poche

34.20 €

Self-Compassion and Mindfulness: Practical Strategies to Cultivate Self-Awareness and Nurture Emotional Well-Being Tiffany Shelton Mariolle

/

Livre de poche

9.89 €

All the Feels Olivia Dade

/

Livre de poche

13.69 €

Our Teachers Are Dating! Vol. 4 Pikachi Ohi

/

Livre de poche

9.89 €

Innovative Trends in Computational Intelligence Ravi Tomar

/

Livre relié

142.39 €

Stories of Love and More Wyatt Knight

/

Livre de poche

13.90 €

Russia's Arctic Strategies and the Future of the Far North Marlene Laruelle

/

Livre de poche

69.09 €

Gentrification as a Global Strategy Abel Albet

/

Adobe ePub DRM

61.31 €

Digital Twins and Healthcare Noor Zaman Jhanjhi

/

Livre relié

459.39 €

Sentenced to Be a Hero, Vol. 1 (light novel): The Prison Records of Penal Hero Unit 9004 (Volume 1) Shokai

/

Livre de poche

15.59 €

I Died on a Tuesday Corry

/

Livre de poche

13.89 €

Sex and the Church Diarmaid MacCulloch

/

Livre relié

36.49 €

Conan The Barbarian: The Original Comics Omnibus Vol.6 Michael Lawrence Fleisher

/

Livre relié

87.89 €

The Lake Catherine Cooper

/

Livre de poche

9.59 €

Italian Paintings at the Yale University Art Gallery Laurence Kanter

/

Livre relié

85.29 €

World of the Cold War Vladislav Zubok

/

Adobe ePub DRM

10.09 €

SAGE Handbook of Criminological Theory Eugene McLaughlin

/

Livre relié

136.19 €

Prediction of Concrete Durability J. Glanville

/

Livre relié

393.79 €

Conseiller littéraire Libroamiko

Bonjour, je suis Libroamiko, puis-je vous aider ?