Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Herbrand Sequent Extraction

Język AngielskiAngielski
Książka Miękka
Książka Herbrand Sequent Extraction Bruno Woltzenlogel Paleo
Kod Libristo: 08925583
Wydawnictwo VDM Verlag Dr. Mueller E.K., luty 2008
Formal proofs of interesting mathematical theorems are usually too large and full of trivial structu... Cały opis
? points 124 b
Gwarancja
najlepszej
ceny ▸
220.02 zł
Dostępna u dostawcy Wysyłamy za 9-15 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Schillers samtliche Schriften Gotthold Ephraim Lessing / Książka Miękka
common.buy 122.10 zł
DWN 2 Kate Herron / Książka Miękka
common.buy 50.72 zł
EL AÑO DEL PENSAMIENTO MAGICO Joan Didion / Książka Książka
common.buy 55.68 zł
Haz Tu Propio Reloj de Sol Bolte / Książka Twarda
common.buy 98.92 zł
Rhumatologie Gagnard / Książka Miękka
common.buy 81.10 zł
La guerre de Crimée 1853-1856 Alain Gouttman / Książka Miękka
common.buy 63.78 zł
Tanie
Obrázková angličtina 1 zvířata Petr Kupka / Książka Książka
common.buy 3.13 zł
Gavur Mahallesi Migirdic Margosyan / Książka Miękka
common.buy 64.89 zł
Sally, Ausgabe Bayern (Neubearbeitung) - 4. Jahrgangsstufe, Activity Book mit Audio-CD Martina Bredenbröcker / Książka Karta
common.buy 59.32 zł
Schichten Und Erlebnismilieus Thomas Müller-Schneider / Książka Miękka
common.buy 201.99 zł

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

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Herbrand Sequent Extraction
Autor Bruno Woltzenlogel Paleo
Język Angielski
Oprawa Książka - Miękka
Data wydania 2008
Liczba stron 92
EAN 9783836461528
ISBN 9783836461528
Kod Libristo 08925583
Wydawnictwo VDM Verlag Dr. Mueller E.K.
Waga 180
Wymiary 243 x 171 x 10

Kategoria

Matematyka i nauki ścisłe > Matematyka
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Dice T. N. Baker / Książka Miękka
common.buy 67.53 zł
Handbook of Medicinal Essential Oils DR. MOHAM BOUKHATEM / Książka Miękka
common.buy 258.70 zł
Chronic Kidney Disease Junwei Yang / Książka Miękka
common.buy 366.33 zł
Reflections Lynn Picknett / Książka Twarda
common.buy 101.75 zł
Porsche 911 Gt3 Julia Garstecki / Książka Miękka
common.buy 50.52 zł
Because Joshua Mensch / Książka Twarda
common.buy 96.99 zł
Frank Merriwell's Own Company Burt L. Standish / Książka Miękka
common.buy 78.67 zł
Fellowship of the Ring John Ronald Reuel Tolkien / Książka Twarda
common.buy 83.73 zł
Autodesk CFD 2024 Black Book Matt Weber / Książka Miękka
common.buy 272.87 zł
Oxford Reading Tree Biff, Chip and Kipper Stories Decode and Develop: Level 6: The Bigfoot Mystery Roderick Hunt / Książka Miękka
common.buy 37.86 zł
Other Histories Kirsten Hastrup / Książka Miękka
common.buy 334.94 zł
Prior Analytics Robin Smith / Książka Miękka
common.buy 114.31 zł
Policing and Criminal Justice Christopher Blake / Książka Miękka
common.buy 131.82 zł
Economic Development and Environmental History in the Anthropocene Gareth Austin / Książka Twarda
common.buy 701.79 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?