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

14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997. Proceedings.

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Deduction - CADE-14 William McCune
Код Либристо: 01566388
Издателство Springer, Berlin, ноември 1996
This book constitutes the strictly refereed proceedings of the 14th International Conference on Auto... Цялото описание
? points 132 b
54.41 €
106.41  лв
Външен склад Изпращаме след 5-8 дни

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

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

Chaines de Markov sur les Permutations J.-E. Dies / Книга С меки корици
common.buy 41.48 € 81.12 лв
Road House Rowdy Herrington / Видео DVD
common.buy 14.06 € 27.51 лв
Sladké mandaly - Omalovánky pro dospělé / Книга С меки корици
common.buy 3.77 € 7.37 лв
La Decimocuarta ENRIQUE ORTEGO / Книга С меки корици
common.buy 24.56 € 48.04 лв
Jak neztratit rozum v nerozumné době Petr Nutil / Книга С меки корици
common.buy 11.99 € 23.46 лв
Englisch für die Berufsreifeprüfung - Hauptmodul Forms and Structures, Workbook Lösungsheft Gabriele Raab / Книга С меки корици
common.buy 10.65 € 20.83 лв
People-Shooting Haasz Christian / Книга С твърди корици
common.buy 19.03 € 37.22 лв
Hameau Willia Faulkner / Книга С меки корици
common.buy 15.77 € 30.84 лв
Gold Advanced Coursebook Sally Burgess / Книга С меки корици
common.buy 43.08 € 84.25 лв
Gold Advanced Coursebook with Advanced MyLab Pack GOLD / Книга С твърди корици
common.buy 68.22 € 133.42 лв

This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997.The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system descriptions and two invited contributions. The papers cover a wide range of current issues in the area including resolution, term rewriting, unification theory, induction, high-order logics, nonstandard logics, AI methods, and applications to software verification, geometry, and social science.

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

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

Пълно заглавие Automated Deduction - CADE-14
Автор William McCune
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1997
Брой страници 469
Баркод 9783540631040
ISBN 3540631046
Код Либристо 01566388
Издателство Springer, Berlin
Тегло 632
Размери 156 x 234 x 24

Категории

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

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

Global Theory of Dynamical Systems Z. Nitecki / Книга С меки корици
common.buy 66.56 € 130.18 лв
Top
World of Warcraft: The Shattering Christie Golden / Книга С меки корици
common.buy 9.15 € 17.89 лв
Origins of People-to-People Diplomacy, U.S. and Russia, 1917-1957 McFadden / Книга С твърди корици
common.buy 77.27 € 151.12 лв
Victim Slayer Latoya Roberts / Книга С меки корици
common.buy 17.01 € 33.27 лв
Narrative of an Expedition Across the Great South-Western Prairies, from Texas to Sante F: With an Account of the Disasters Which Befel [Sic] the Expe Geo Wilkins Kendall / Книга С меки корици
common.buy 28.08 € 54.92 лв
Modernism as Memory Kathleen James-Chakraborty / Книга С меки корици
common.buy 42.92 € 83.95 лв
Moshi Moshi Banana Yoshimoto / Книга С меки корици
common.buy 13.55 € 26.49 лв
Formalisation of SysML Models and Analysis based on Refinement Lucas Lima / Книга С меки корици
common.buy 75.30 € 147.28 лв
Pick and Pack's Adventure Gaye Lynn Trusty / Книга С меки корици
common.buy 14.37 € 28.11 лв
Ohio Medical and Surgical Journal, Volume 6 James Henry Pooley / Книга С твърди корици
common.buy 40.13 € 78.49 лв
Best of Quinoa Rena Patten / Книга С твърди корици
common.buy 28.55 € 55.83 лв
Fluid Iron Tony Day / Книга С меки корици
common.buy 39.15 € 76.57 лв
Capital Accumulation and Women's Labour in Asian Economies Peter Custers / Книга С меки корици
common.buy 29.94 € 58.56 лв
I Think I Am a Verb Thomas A. Sebeok / Книга С меки корици
common.buy 108.56 € 212.32 лв
Analysis and Application of Dynamic Patterns within the Context of Complaint Management Martina Müller / Книга С меки корици
common.buy 40.60 € 79.40 лв
Introduction to Applied Bayesian Statistics and Estimation for Social Scientists Scott M. Lynch / Книга С меки корици
common.buy 127.54 € 249.45 лв
Clinical and Educational Child Psychology - An Ecological-Transactional Approach to Child Problems and Interventions Linda Wilmshurst / Книга С меки корици
common.buy 57.04 € 111.57 лв
Innovation Policies, Business Creation and Economic Development Neslihan Aydogan / Книга С твърди корици
common.buy 183.61 € 359.10 лв
Play and Playwork: 101 Stories of Children Playing Fraser Brown / Книга С меки корици
common.buy 39.92 € 78.08 лв
Young Men, Time, and Boredom in the Republic of Georgia Martin Frederiksen / Книга С твърди корици
common.buy 85.49 € 167.20 лв
Anthropology and the Bushman Alan Barnard / Книга С меки корици
common.buy 49.29 € 96.39 лв
Acidic Pit Lakes Walter Geller / Книга С твърди корици
common.buy 162.71 € 318.23 лв

Вход

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

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

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

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

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