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

14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Logic for Programming, Artificial Intelligence, and Reasoning Nachum Dershowitz
Код Либристо: 01569358
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, октомври 2007
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Pro... Цялото описание
? points 132 b
54.08 €
105.77  лв
Външен склад Изпращаме след 5-8 дни

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

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

Подготвяме
TOXIQUES - Les Nouveaux Empoisonneurs BROQUERE / Книга С меки корици
common.buy 25.03 € 48.96 лв
Le Passage du Désir Almira / Книга С меки корици
common.buy 11.36 € 22.21 лв
Rodina v 21. století collegium / Книга С меки корици
common.buy 4.62 € 9.04 лв
La caldera de los sueños MOLINA / Книга С меки корици
common.buy 20.25 € 39.61 лв
Educación infantil, 3 a?os / Книга С меки корици
common.buy 25.44 € 49.77 лв
Řeknu o tobě hvězdám Edyta Prusinowska / Книга С меки корици
common.buy 13.77 € 26.94 лв
Nauka jazdy na rolkach C. Oach / Книга С меки корици
common.buy 15.42 € 30.16 лв
Suburban Hell Taro Kanafuro / Книга С меки корици
common.buy 32.28 € 63.14 лв
Paladyn z ziem dalekich 7 Okubashi Mutsumi / Книга С меки корици
common.buy 7.40 € 14.47 лв
Meine glitzernden Anziehpuppen-Stickerbücher mini: Im Ballett, Feen, Freundinnen und Prinzessinnen / Книга С меки корици
common.buy 11.51 € 22.51 лв
Nachsommer Adalbert Stifter / Книга С меки корици
common.buy 41.79 € 81.74 лв
La graduación de la imprudencia punible (Papel + e-book) ALBERTO DAUNIS RODRIGUEZ / Книга С меки корици
common.buy 39.99 € 78.22 лв
Les Tribulations d'un Chinois en Chine Jules Verne / Книга С меки корици
common.buy 11.97 € 23.42 лв
Schule der magischen Tiere - Auf die Plätze! Carlo Rossi / Игра/играчка Игра
common.buy 11.15 € 21.81 лв
A>tze, das Tintenmonster Ursel Scheffler / Книга С меки корици
common.buy 5.91 € 11.55 лв
Methoden-Lexikon Fur Die Sozialwissenschaften Rainer Diaz-Bone / Книга С меки корици
common.buy 84.00 € 164.30 лв
Internationale Steuerarbitrage unter besonderer Berucksichtigung von Zinsabzugsbeschrankungen am Beispiel von Deutschland und USA Philipp Adam / Книга С меки корици
common.buy 18.91 € 36.99 лв
Heilkunst und Humor Rosina Sonnenschmidt / Книга С твърди корици
common.buy 28.89 € 56.50 лв
Top
Theodor Fontane: Effi Briest Theodor Fontane / Книга С твърди корици
common.buy 5.86 € 11.45 лв
Geschichte der Gruben im 12. bis 19. Jahrhundert Peter Haertel / Книга С меки корици
common.buy 36.65 € 71.69 лв
Erste Ukrainische Lesebuch fur Anfanger Olena Dniprova / Книга С меки корици
common.buy 23.13 € 45.24 лв

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

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

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

Пълно заглавие Logic for Programming, Artificial Intelligence, and Reasoning
Автор Nachum Dershowitz, Andrei Voronkov
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2007
Брой страници 564
Баркод 9783540755586
ISBN 3540755586
Код Либристо 01569358
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 878
Размери 155 x 235 x 32

Категории

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
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Catalysis Michel Boudart / Книга С меки корици
common.buy 107.91 € 211.06 лв
Nonlinear Dynamics and Heterogeneous Interacting Agents T. Lux / Книга С меки корици
common.buy 115.01 € 224.93 лв
5 Things to Pray for Your Church Jones / Книга С меки корици
common.buy 6.99 € 13.67 лв
Caste. [A Novel.] by the Author of Mr. Arle [I.E. Emily Jolly]. Vol. III Anonymous / Книга С меки корици
common.buy 28.27 € 55.30 лв
Global Renewal Christianity Amos Yong / Книга С твърди корици
common.buy 32.80 € 64.14 лв
Practical Treatise on the Medical & Surgical Uses of Electricity George Miller Beard / Книга С твърди корици
common.buy 45.50 € 88.98 лв
Perpetrators Victims Bystanders Raul Hilberg / Книга С меки корици
common.buy 15.98 € 31.26 лв
Top
Worldwar Harry Turtledove / Книга С меки корици
common.buy 10.59 € 20.70 лв
JENNY BOOTH ELIZABETH EDI PIGOT / Книга С твърди корици
common.buy 31.41 € 61.43 лв
What I Saw In California: (Edwin Bryant Classics Collection) Edwin Bryant / Книга С меки корици
common.buy 8.48 € 16.58 лв
The Death of the Wicked Anne Barton / Книга С меки корици
common.buy 14.75 € 28.85 лв
Suffering Scholars Anne C. Vila / Книга С твърди корици
common.buy 80.35 € 157.16 лв
SAS Certified Professional Prep Guide Sas Institute / Книга С твърди корици
common.buy 142.41 € 278.53 лв
Just for You Francesca Pirrone / Книга С твърди корици
common.buy 13.82 € 27.04 лв
John and the Big Wish Laura Watkins / Книга С твърди корици
common.buy 9.15 € 17.89 лв
Computational Algebraic Geometry Frederic Eyssette / Книга С меки корици
common.buy 54.08 € 105.77 лв
Advances in X-Ray Analysis Charles S. Barrett / Книга С меки корици
common.buy 54.08 € 105.77 лв
English Drama Before Shakespeare Peter Happe / Книга С меки корици
common.buy 77.83 € 152.23 лв
Evolving Human Nutrition Stanley UlijaszekNeil MannSarah Elton / Книга С меки корици
common.buy 58.66 € 114.72 лв
Gender and Nation Building in the Middle East Elise G Young / Книга С твърди корици
common.buy 207.24 € 405.33 лв
Con Men, The Leo Gough / Книга С меки корици
common.buy 27.81 € 54.39 лв
Pascal John Tulloch / Книга С меки корици
common.buy 12.33 € 24.12 лв
Multiple Testing Procedures with Applications to Genomics S. Dudoit / Книга С твърди корици
common.buy 211.15 € 412.97 лв
Future of Drylands Cathy Lee / Книга С твърди корици
common.buy 215.52 € 421.52 лв

Вход

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

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

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

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

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