Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Herbrand Sequent Extraction

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Herbrand Sequent Extraction Bruno Woltzenlogel Paleo
Koda Libristo: 08925583
Založba VDM Verlag Dr. Mueller E.K., februar 2008
Formal proofs of interesting mathematical theorems are usually too large and full of trivial structu... Celoten opis
? points 118 b
48.93 €
Na zalogi pri dobavitelju Odposlali bomo v 14-21 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Schillers samtliche Schriften Gotthold Ephraim Lessing / Knjiga Mehka
common.buy 26.89 €
DWN 2 Kate Herron / Knjiga Mehka
common.buy 11.01 €
EL AÑO DEL PENSAMIENTO MAGICO Joan Didion / Knjiga Knjiga
common.buy 11.52 €
Haz Tu Propio Reloj de Sol Bolte / Knjiga Trda
common.buy 20.42 €
Rhumatologie Gagnard / Knjiga Mehka
common.buy 17.18 €
La guerre de Crimée 1853-1856 Alain Gouttman / Knjiga Mehka
common.buy 13.54 €
Poceni
Obrázková angličtina 1 zvířata Petr Kupka / Knjiga Knjiga
common.buy 0.70 €
Gavur Mahallesi Migirdic Margosyan / Knjiga Mehka
common.buy 14.35 €
Sally, Ausgabe Bayern (Neubearbeitung) - 4. Jahrgangsstufe, Activity Book mit Audio-CD Martina Bredenbröcker / Knjiga Preglednica
common.buy 13.13 €
Schichten Und Erlebnismilieus Thomas Müller-Schneider / Knjiga Mehka
common.buy 44.58 €

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

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Herbrand Sequent Extraction
Avtor Bruno Woltzenlogel Paleo
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2008
Število strani 92
EAN 9783836461528
ISBN 9783836461528
Koda Libristo 08925583
Založba VDM Verlag Dr. Mueller E.K.
Teža 180
Mere 243 x 171 x 10

Kategorije

Mathematics & Science > Mathematics
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Dice T. N. Baker / Knjiga Mehka
common.buy 14.85 €
Handbook of Medicinal Essential Oils DR. MOHAM BOUKHATEM / Knjiga Mehka
common.buy 56.92 €
Chronic Kidney Disease Junwei Yang / Knjiga Mehka
common.buy 80.88 €
Reflections Lynn Picknett / Knjiga Trda
common.buy 22.54 €
Porsche 911 Gt3 Julia Garstecki / Knjiga Mehka
common.buy 11.32 €
Because Joshua Mensch / Knjiga Trda
common.buy 19.91 €
Frank Merriwell's Own Company Burt L. Standish / Knjiga Mehka
common.buy 17.48 €
Fellowship of the Ring John Ronald Reuel Tolkien / Knjiga Trda
common.buy 18.39 €
Autodesk CFD 2024 Black Book Matt Weber / Knjiga Mehka
common.buy 60.66 €
Oxford Reading Tree Biff, Chip and Kipper Stories Decode and Develop: Level 6: The Bigfoot Mystery Roderick Hunt / Knjiga Mehka
common.buy 10.61 €
Other Histories Kirsten Hastrup / Knjiga Mehka
common.buy 74.82 €
Prior Analytics Robin Smith / Knjiga Mehka
common.buy 25.27 €
Policing and Criminal Justice Christopher Blake / Knjiga Mehka
common.buy 27.39 €
Economic Development and Environmental History in the Anthropocene Gareth Austin / Knjiga Trda
common.buy 172.70 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?