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 FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Herbrand Sequent Extraction

Limba englezăengleză
Carte Carte broșată
Carte Herbrand Sequent Extraction Bruno Woltzenlogel Paleo
Codul Libristo: 08925583
Editura VDM Verlag Dr. Mueller E.K., februarie 2008
Formal proofs of interesting mathematical theorems are usually too large and full of trivial structu... Descrierea completă
? points 131 b
282.22 lei
În depozitul extern Expediem în 9-15 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Schillers samtliche Schriften Gotthold Ephraim Lessing / Carte Carte broșată
common.buy 157.91 lei
DWN 2 Kate Herron / Carte Carte broșată
common.buy 66.08 lei
EL AÑO DEL PENSAMIENTO MAGICO Joan Didion / Carte Carte
common.buy 71.89 lei
Haz Tu Propio Reloj de Sol Bolte / Carte Copertă tare
common.buy 128.55 lei
Rhumatologie Gagnard / Carte Carte broșată
common.buy 99.18 lei
La guerre de Crimée 1853-1856 Alain Gouttman / Carte Carte broșată
common.buy 78.02 lei
Leftin
Obrázková angličtina 1 zvířata Petr Kupka / Carte Carte
common.buy 3.83 lei
Gavur Mahallesi Migirdic Margosyan / Carte Carte broșată
common.buy 83.41 lei
Sally, Ausgabe Bayern (Neubearbeitung) - 4. Jahrgangsstufe, Activity Book mit Audio-CD Martina Bredenbröcker / Carte Foaie
common.buy 76.25 lei
Schichten Und Erlebnismilieus Thomas Müller-Schneider / Carte Carte broșată
common.buy 260.53 lei

Formal proofs of interesting mathematical theorems are usually too large and full of trivial structural information, and hence hard to understand and analyze. Techniques to extract specific essential information from these proofs are needed. This book desc

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 Herbrand Sequent Extraction
Autor Bruno Woltzenlogel Paleo
Limba engleză
Legare Carte - Carte broșată
Data publicării 2008
Număr pagini 92
EAN 9783836461528
ISBN 9783836461528
Codul Libristo 08925583
Editura VDM Verlag Dr. Mueller E.K.
Greutatea 180
Dimensiuni 243 x 171 x 10

Categorii

Mathematics & Science > Mathematics
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

Dice T. N. Baker / Carte Carte broșată
common.buy 87.67 lei
Handbook of Medicinal Essential Oils DR. MOHAM BOUKHATEM / Carte Carte broșată
common.buy 334.93 lei
Chronic Kidney Disease Junwei Yang / Carte Carte broșată
common.buy 472.72 lei
Reflections Lynn Picknett / Carte Copertă tare
common.buy 130.93 lei
Porsche 911 Gt3 Julia Garstecki / Carte Carte broșată
common.buy 64.63 lei
Because Joshua Mensch / Carte Copertă tare
common.buy 118.59 lei
Frank Merriwell's Own Company Burt L. Standish / Carte Carte broșată
common.buy 100.95 lei
Fellowship of the Ring John Ronald Reuel Tolkien / Carte Copertă tare
common.buy 108.94 lei
Autodesk CFD 2024 Black Book Matt Weber / Carte Carte broșată
common.buy 349.87 lei
Oxford Reading Tree Biff, Chip and Kipper Stories Decode and Develop: Level 6: The Bigfoot Mystery Roderick Hunt / Carte Carte broșată
common.buy 49.28 lei
Other Histories Kirsten Hastrup / Carte Carte broșată
common.buy 427.58 lei
Prior Analytics Robin Smith / Carte Carte broșată
common.buy 147.54 lei
Policing and Criminal Justice Christopher Blake / Carte Carte broșată
common.buy 161.23 lei
Economic Development and Environmental History in the Anthropocene Gareth Austin / Carte Copertă tare
common.buy 903.22 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?