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

Logic for Programming, Artificial Intelligence, and Reasoning

16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Logic for Programming, Artificial Intelligence, and Reasoning Edmund M. Clarke
Код Либристо: 01657129
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, януари 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International... Цялото описание
? points 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

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

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

CANDYMAN - BRD ROSE Видео DVD
common.buy 33.45 € 65.42 лв
La Sainte-Chapelle Paris NE Françoise Perrot / Книга С твърди корици
common.buy 38.47 € 75.24 лв
I Love Winter (English Hindi Bilingual Book for Kids) Kidkiddos Books / Книга С меки корици
common.buy 16.57 € 32.40 лв
Hans Von Bulow Marie von Bülow / Книга С меки корици
common.buy 37.80 € 73.93 лв
CORPOS. AS OUTRAS VIDAS DO CADAVER COUTO-FERREIRA / Книга Книга
common.buy 22.68 € 44.35 лв
Rechnernetze Peter Schnupp / Книга С твърди корици
common.buy 115.11 € 225.14 лв
Dr. Lampe's Bienenzucht C.O. Lampe / Книга С меки корици
common.buy 35.93 € 70.28 лв
Lehrbuch der Lacktechnologie Thomas Brock / Книга С твърди корици
common.buy 217.60 € 425.59 лв
Santa Valentina tiene un plan Regina Román Gómez / Книга С меки корици
common.buy 23.61 € 46.18 лв
La fiducía sucesoria secreta Sergio Cámara Lapuente / Книга С меки корици
common.buy 105.48 € 206.31 лв
Le Salon De Lady Betty: Moeurs Anglaises, Volume 2 Marceline Desbordes-Valmore / Книга С меки корици
common.buy 25.99 € 50.83 лв
Excursions Historiques Et Philosophiques A Travers Le Moyen Age (Ed.1888) Charles Jourdain / Книга С меки корици
common.buy 38.16 € 74.64 лв

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which§took place in Dakar, Senegal, in April/May 2010.§The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear arithmetic, verification, knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.

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

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

Пълно заглавие Logic for Programming, Artificial Intelligence, and Reasoning
Автор Edmund M. Clarke, Andrei Voronkov
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2011
Брой страници 517
Баркод 9783642175107
ISBN 3642175104
Код Либристо 01657129
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 791
Размери 155 x 235 x 29

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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 Книгата ще пристигне на адреса на получателя

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

Dirty Little Secrets of World War II: Military Information No One Told You... James F. Dunningan / Книга С меки корици
common.buy 17.19 € 33.62 лв
Logic for Applications Anil Nerode / Книга С меки корици
common.buy 95.59 € 186.96 лв
Monroe Township and Jamesburg John D. Katerba / Книга С меки корици
common.buy 22.16 € 43.34 лв
History of the Life of Thomas Ellwood Charles George Crump / Книга С твърди корици
common.buy 33.60 € 65.72 лв
REPORTS OF CASES ARGUED & DETE New York (State) Supreme Court / Книга С меки корици
common.buy 30.76 € 60.15 лв
Characterisation of Women in Maxim Gorky's Novel "Mother". A Marxist Feminist Perspective Javed Akhtar / Книга С меки корици
common.buy 17.14 € 33.51 лв
On the Boardwalk - Hometown Gallery 1000pc: One the Boardwalk Masterpieces Inc / Книга binding.
common.buy 13.30 € 26.02 лв
Where The States Stand On Civil Rights Richard Barnett / Книга С меки корици
common.buy 26.92 € 52.66 лв
Die Jäger: Ein ländliches Sittengemälde in fünf Aufzügen August Wilhelm Iffland / Книга С меки корици
common.buy 12.16 € 23.79 лв
Top
Leviathan Thomas Hobbes / Книга С меки корици
common.buy 19.57 € 38.27 лв
Ensam Jonathon Robert Bone / Книга С меки корици
common.buy 8.54 € 16.70 лв
The Naval History of the United States Willis J Abbot / Книга С меки корици
common.buy 33.76 € 66.03 лв
Are MicroRNAs Promising Diagnostic Markers in Cancer Eman Refaat / Книга С меки корици
common.buy 34.07 € 66.64 лв
When She's Bad, I'm Badder: Jiao & Dreek, A Crazy Love Story Tina J / Книга С меки корици
common.buy 12.16 € 23.79 лв
Ratatouille Brad Bird / Видео DVD
common.buy 10.61 € 20.75 лв
Super Nutrition Terry McIlroy / Книга С меки корици
common.buy 25.21 € 49.32 лв
Council Government Versus Mayor Government (1900) Edward Dana Durand / Книга С меки корици
common.buy 15.74 € 30.78 лв
Language Exercises (1889) Robert Comfort Metcalf / Книга С меки корици
common.buy 27.91 € 54.58 лв
Top
Don't Diet. Be Happy. Katherine McIntosh / Книга С меки корици
common.buy 12.06 € 23.59 лв
Healing your wounded inner child Stella Nash / Книга С меки корици
common.buy 15.58 € 30.48 лв
Algebraic Fantasies and Realistic Romances Brian Stableford / Книга С меки корици
common.buy 16.05 € 31.39 лв
Form, Program, and Metaphor in the Music of Berlioz Stephen Rodgers / Книга С твърди корици
common.buy 133.55 € 261.20 лв
Elementary Theory of L-functions and Eisenstein Series Haruzo Hida / Книга С меки корици
common.buy 113.51 € 222.00 лв
Invariant Subspaces of Matrices with Applications Israel GohbergPeter LancasterLeiba Rodman / Книга С меки корици
common.buy 159.39 € 311.74 лв

Вход

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

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

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

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

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