Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Herbrand Sequent Extraction

Език Английски езикАнглийски език
Книга С меки корици
Книга Herbrand Sequent Extraction Bruno Woltzenlogel Paleo
Код Либристо: 08925583
Издателство VDM Verlag Dr. Mueller E.K., февруари 2008
Formal proofs of interesting mathematical theorems are usually too large and full of trivial structu... Цялото описание
? points 125 b
51.51 €
100.75  лв
Външен склад Изпращаме след 9-15 дни

30 дни за връщане на стоката

Клиентите са закупили също

Schillers samtliche Schriften Gotthold Ephraim Lessing / Книга С меки корици
common.buy 42.71 € 83.53 лв
DWN 2 Kate Herron / Книга С меки корици
common.buy 12.68 € 24.80 лв
EL AÑO DEL PENSAMIENTO MAGICO Joan Didion / Книга Книга
common.buy 13.77 € 26.93 лв
Haz Tu Propio Reloj de Sol Bolte / Книга С твърди корици
common.buy 28.57 € 55.89 лв
Rhumatologie Gagnard / Книга С меки корици
common.buy 19.77 € 38.67 лв
La guerre de Crimée 1853-1856 Alain Gouttman / Книга С меки корици
common.buy 15.53 € 30.37 лв
Obrázková angličtina 1 zvířata Petr Kupka / Книга Книга
common.buy 0.98 € 1.91 лв
Gavur Mahallesi Migirdic Margosyan / Книга С меки корици
common.buy 15.94 € 31.18 лв
Sally, Ausgabe Bayern (Neubearbeitung) - 4. Jahrgangsstufe, Activity Book mit Audio-CD Martina Bredenbröcker / Книга Лист
common.buy 16.77 € 32.80 лв
Schichten Und Erlebnismilieus Thomas Müller-Schneider / Книга С меки корици
common.buy 55.81 € 109.15 лв

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

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Herbrand Sequent Extraction
Автор Bruno Woltzenlogel Paleo
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2008
Брой страници 92
Баркод 9783836461528
ISBN 9783836461528
Код Либристо 08925583
Издателство VDM Verlag Dr. Mueller E.K.
Тегло 180
Размери 243 x 171 x 10

Категории

Mathematics & Science > Mathematics
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Dice T. N. Baker / Книга С меки корици
common.buy 15.79 € 30.87 лв
Handbook of Medicinal Essential Oils DR. MOHAM BOUKHATEM / Книга С меки корици
common.buy 72.48 € 141.76 лв
Chronic Kidney Disease Junwei Yang / Книга С меки корици
common.buy 99.66 € 194.92 лв
Reflections Lynn Picknett / Книга С твърди корици
common.buy 23.81 € 46.57 лв
Porsche 911 Gt3 Julia Garstecki / Книга С меки корици
common.buy 12.37 € 24.19 лв
Because Joshua Mensch / Книга С твърди корици
common.buy 24.02 € 46.98 лв
Frank Merriwell's Own Company Burt L. Standish / Книга С меки корици
common.buy 18.43 € 36.04 лв
Fellowship of the Ring John Ronald Reuel Tolkien / Книга С твърди корици
common.buy 19.62 € 38.37 лв
Autodesk CFD 2024 Black Book Matt Weber / Книга С меки корици
common.buy 63.88 € 124.95 лв
Oxford Reading Tree Biff, Chip and Kipper Stories Decode and Develop: Level 6: The Bigfoot Mystery Roderick Hunt / Книга С меки корици
common.buy 9.42 € 18.42 лв
Other Histories Kirsten Hastrup / Книга С меки корици
common.buy 78.38 € 153.30 лв
Prior Analytics Robin Smith / Книга С меки корици
common.buy 28.26 € 55.28 лв
Policing and Criminal Justice Christopher Blake / Книга С меки корици
common.buy 32.61 € 63.79 лв
Economic Development and Environmental History in the Anthropocene Gareth Austin / Книга С твърди корици
common.buy 181.57 € 355.12 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?