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

Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Reasoning David Basin
Код Либристо: 01559566
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 2004
This book constitutes the refereed proceedings of the Second International Joint Conference on Autom... Цялото описание
? points 263 b
108.58 €
212.36  лв
Външен склад Изпращаме след 5-8 дни

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

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

Die Haut der Träume Raymond Queneau / Книга С меки корици
common.buy 14.38 € 28.12 лв
Luoghi, lingue, contatto. Italiano, dialetti e francoprovenzale in Puglia Alessandro Bitonti / Книга С меки корици
common.buy 27.15 € 53.11 лв
PSYCHOANALÝZA VŠEDNOSTI Jan Stern / Книга Книга
common.buy 10.65 € 20.83 лв
Война и мир. Кн.2, [тт. 3, 4 Лев Толстой / Книга С твърди корици
common.buy 23.95 € 46.84 лв
Acer japonicum Aurélien Gouttenoire / Книга С меки корици
common.buy 15.51 € 30.34 лв
LA ROSE ET LA BAGUE THACKERAY / Книга С меки корици
common.buy 21.67 € 42.38 лв
Et Sarah se libéra Spencer / Книга С меки корици
common.buy 11.43 € 22.35 лв
Havada Neler Olmus / Книга С меки корици
common.buy 15.93 € 31.15 лв
Tafelband Erich Nechtelberger / Книга С твърди корици
common.buy 115.00 € 224.91 лв
Diagnose Der Pflanzen-Gattungen: Nach Der Neuesten Ausgabe Des Linneischen Sexualfystems (1792) Georg Adolph Suckow / Книга С меки корици
common.buy 37.29 € 72.94 лв
Nina: Calepin - Cadeau D'anniversaire Personnel De Licorne Pour Les Enfants Et Les Écoli?res Notes Magiques / Книга С меки корици
common.buy 8.94 € 17.49 лв
Erntezeit Inge Sander / Книга С меки корици
common.buy 9.67 € 18.91 лв
Voyage en Espagne Théophile Gautier / Книга С меки корици
common.buy 10.34 € 20.23 лв
Monstruario IÑAKI / Книга С меки корици
common.buy 12.98 € 25.39 лв
Catalogue Historique Des Generaux Francais, Connetables, Marechaux de France, Lieutenants Generaux De La Roque-L / Книга С меки корици
common.buy 20.27 € 39.65 лв
Endülüs Sultani Muriel Romana / Книга С меки корици
common.buy 12.88 € 25.18 лв

This book constitutes the refereed proceedings of the Second International Joint Conference on Automated Reasoning, IJCAR 2004, held in Cork, Ireland, in July 2004. IJCAR 2004 comprises CADE, CALCULEMUS, FroCoS, FTP, and TABLEAUX.The 26 revised full research papers and 6 revised system demonstrations presented together with 3 invited papers and a summary of a systems competition were carefully reviewed and selected from a total of 86 submissions. The papers are organized in topical sections on rewriting, saturation-based theorem proving, combination techniques, verification and systems, reasoning with finite structure, tableaux and non-classical logics, applications and systems, computer mathematics, interactive theorem proving, combinatorial reasoning, and higher-order reasoning.

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

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

Пълно заглавие Automated Reasoning
Автор David Basin, Michael Rusinowitch
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2004
Брой страници 491
Баркод 9783540223450
ISBN 3540223452
Код Либристо 01559566
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1580
Размери 155 x 235 x 28

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

BARNYARD BANTER Denise Fleming / Книга С меки корици
common.buy 8.43 € 16.48 лв
Social relations,knowledge management,and organizational performance Yi-Chen Wu / Книга С меки корици
common.buy 52.55 € 102.79 лв
Portuguese for Beginners: The Best Handbook for Learning to Speak Portuguese Getaway Guides / Книга С меки корици
common.buy 18.62 € 36.41 лв
Anthology of Spanish Song Maria DiPalma / Книга С меки корици
common.buy 20.48 € 40.06 лв
Medford Anthony Mitchell Sammarco / Книга С меки корици
common.buy 22.14 € 43.29 лв
Darwinism - An Exposition of the Theory of Natural Selection Alfred Russell Wallace / Книга С меки корици
common.buy 39.26 € 76.79 лв
Eat What You Love: A Diabetic Cookbook of Comforting, Balanced Meals for a Healthy Low-Carb Life Sonoma Press / Книга С меки корици
common.buy 14.27 € 27.92 лв
Little Bird L J Raven / Книга С меки корици
common.buy 19.39 € 37.93 лв
100 First Animals DK / Книга Дипляна
common.buy 11.84 € 23.16 лв
Essential Portuguese Grammar Alexander Prista / Книга С меки корици
common.buy 9.82 € 19.21 лв
Unyielding Resolve Pratik Chougule / Книга С меки корици
common.buy 22.91 € 44.81 лв
Rescue From Camp Wildwood Timothy Peters / Книга С меки корици
common.buy 10.34 € 20.23 лв
Kafkaesque Peter Kuper / Книга С твърди корици
common.buy 18.00 € 35.20 лв
The Icarus Icaros Traci Shin / Книга С меки корици
common.buy 13.91 € 27.21 лв
Handbook of Biomaterials Biocompatibility Masoud Mozafari / Книга С меки корици
common.buy 301.08 € 588.85 лв
Calligraphy Workbook: Calligraphy Practice Sheets to Write in - 120 Sheet Pad Calligrapher Press / Книга С меки корици
common.buy 10.34 € 20.23 лв
Cicero as Evidence Lintott / Книга С меки корици
common.buy 88.15 € 172.40 лв
Unknown to History Charlotte Mary Yonge / Книга С меки корици
common.buy 21.77 € 42.59 лв
Searching Skills Toolkit - Finding the Evidence 2e Caroline De Brún / Книга С меки корици
common.buy 31.60 € 61.81 лв
Poem of Job Edward G. King / Книга С меки корици
common.buy 34.97 € 68.39 лв
Different Perspective on the Patient Protection and Affordable Care Act Chinyere Ogbonna / Книга С меки корици
common.buy 57.11 € 111.69 лв
Chickens of Atlantis and Other Foul and Filthy Fiends Robert Rankin / Книга С меки корици
common.buy 13.91 € 27.21 лв
Their Finest Hour Winston Churchill / Книга С меки корици
common.buy 19.45 € 38.03 лв
Top
Beautiful Losers Leonard Cohen / Книга С меки корици
common.buy 12.67 € 24.78 лв

Вход

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

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

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

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

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