Проверка на състоянието на поръчката
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€

Automated Deduction - CADE-21

21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Deduction - CADE-21 Frank Pfenning
Код Либристо: 01568871
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юли 2007
A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field o... Цялото описание
? points 132 b
54.51 €
106.61  лв
Външен склад Изпращаме след 5-8 дни

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

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

Pourquoi la Science n'aime pas les femmes Flex / Книга С меки корици
common.buy 22.38 € 43.77 лв
Drehbuchschreiben und Geschichtenerzählen Jean-Claude Carri / Книга С меки корици
common.buy 28.39 € 55.53 лв
Der Tod Abels Salomon Geßner / Книга С твърди корици
common.buy 23.73 € 46.41 лв
MORTEL.LES RIVARD ALICE Книга binding.
common.buy 32.48 € 63.53 лв
Die Geschichte Des Tom Jones, Teil 2 Henry Fielding / Книга С меки корици
common.buy 12.43 € 24.31 лв
Jana Eyrová Charlotte Brontëová / Книга С твърди корици
common.buy 11.81 € 23.10 лв
Anni und der Weihnachtsmann Reinhard Heinrich / Книга С твърди корици
common.buy 19.01 € 37.18 лв
CANCION GRIS MANILLA / Книга Книга
common.buy 8.44 € 16.51 лв
Dong Song Hoang Tưởng - El Rio Fantasioso (Vietnamese & Spanish edition) Thuy Huong Nguyen / Книга С меки корици
common.buy 20.36 € 39.82 лв
ВКЛЮЧЕНИЕ КОММА GC JAIN / Книга С меки корици
common.buy 23.62 € 46.20 лв
200%VISUEL TABLETTES ANDROID GENEVRAY J / Книга С меки корици
common.buy 26.06 € 50.97 лв
Die Kündigung des Arbeitsverhältnisses wegen Sicherheitsbedenken. Uwe Meyer / Книга С меки корици
common.buy 79.64 € 155.76 лв
Preussische Adel bis 1918 Thomas Hallmann / Книга С меки корици
common.buy 18.08 € 35.36 лв
Expressionismus und Georg Heyms "Der Gott der Stadt als beispielhafte, literarische Produktion Florian Meier / Книга С меки корици
common.buy 17.15 € 33.54 лв
Hiob Joseph Roth / Книга С меки корици
common.buy 10.62 € 20.77 лв
Estudo da degradacao ambiental provocada pelas acoes socioespaciais José Gustavo da Silva Melo / Книга С меки корици
common.buy 37.82 € 73.97 лв
Spiegelbild im goldnen Auge Carson McCullers / Книга С меки корици
common.buy 12.48 € 24.41 лв
Elemens de Numismatique: Ou Introduction A La Connaissance Des Medailles Antiques DUMERSAN-T / Книга С меки корици
common.buy 17.46 € 34.14 лв
Fusionskontrolle im Medienbereich. Ekkehard Spieler / Книга С меки корици
common.buy 69.69 € 136.30 лв
Modern Keyboard, Beiheft 1-2 Günter Loy / Книга Лист
common.buy 12.53 € 24.52 лв
On the Generalized: A Buddhist View of the Analects 莲龙居士 / Книга С меки корици
common.buy 11.65 € 22.79 лв

A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. The 28 revised full papers and 6 system descriptions presented were selected from 64 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.

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

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

Пълно заглавие Automated Deduction - CADE-21
Автор Frank Pfenning
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2007
Брой страници 524
Баркод 9783540735946
ISBN 3540735941
Код Либристо 01568871
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 813
Размери 155 x 235 x 29

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Mobile Human-Computer Interaction - Mobile HCI 2004 Stephen Brewster / Книга С меки корици
common.buy 108.76 € 212.72 лв
Magnitude and Delay Approximation of 1-D and 2-D Digital Filters Belle A. Shenoi / Книга С меки корици
common.buy 54.51 € 106.61 лв
REINCARNATION OF SHALEENA MCBA Dessie Mae / Книга С меки корици
common.buy 8.44 € 16.51 лв
Spann's Guide to Gibson 1902-1941 Joseph E. Spann / Книга С меки корици
common.buy 30.57 € 59.78 лв
Groupthink Versus High-Quality Decision Making in International Relations Scott Crichlow / Книга С твърди корици
common.buy 160.11 € 313.15 лв
Invitation to Modern Number Theory Steven J. Miller / Книга С твърди корици
common.buy 126.43 € 247.28 лв
Moving Pixels Peter Weishar / Книга С твърди корици
common.buy 50.21 € 98.19 лв
Cyanobacterial Toxins of Drinking Water Supplies Ian Robert Falconer / Книга С твърди корици
common.buy 380.91 € 744.99 лв
Dissertation by Way of Inquiry Into the True Import and Application of the Vision Related Dan IX Ver20 to the End, Usually Called Daniel's Prophecy of Benjamin Blayney / Книга С меки корици
common.buy 19.22 € 37.59 лв
Dramatic Action in Greek Tragedy and Noh Mae J. Smethurst / Книга С меки корици
common.buy 58.65 € 114.71 лв
What He's Poised to Do Ben Greenman / Книга С меки корици
common.buy 12.38 € 24.21 лв
On Literature, Culture, and Religion Irving Babbitt / Книга С меки корици
common.buy 77.41 € 151.40 лв
Bible Walkthrough - 18 - Joshua to Ruth Cliff Taylor / Книга С меки корици
common.buy 7.66 € 14.99 лв
The Great IRS Hoax, Volume 6, Form #11.302 Family Guardian Fellowship / Книга С меки корици
common.buy 55.44 € 108.43 лв
31 Days of Poetry Prompts: 11 words Jim Russo / Книга С меки корици
common.buy 7.66 € 14.99 лв
Second Rebel Lewis / Книга С твърди корици
common.buy 26.11 € 51.07 лв
Astronomy For Dummies, 5th Edition (+ Chapter Quiz zes Online) Richard T. Fienberg / Книга С меки корици
common.buy 20.20 € 39.52 лв
Introduction to C Programming Language M. Jhansi / Книга С меки корици
common.buy 57.62 € 112.69 лв
Beautiful World Coloring Book Car Pintos / Книга С меки корици
common.buy 17.20 € 33.64 лв
A Surprise for Willow Bea Jackson / Книга С меки корици
common.buy 6.26 € 12.25 лв
When Kids Can't Read-What Teachers Can Do Kylene Beers / Аудиокнига MP3
common.buy 26.68 € 52.18 лв
Made in Germany Leonard Freed / Книга С твърди корици
common.buy 59.90 € 117.15 лв
Top
Granny Fixit and the Ball JANE CADWALLADER / Книга С меки корици
common.buy 6.16 € 12.05 лв
Paradise Lost and the Rhetoric of Literary Forms Barbara Kiefer Lewalski / Книга С твърди корици
common.buy 195.92 € 383.18 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo