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

8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Logic for Programming, Artificial Intelligence, and Reasoning Robert Nieuwenhuis
Код Либристо: 01563961
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ноември 2001
This book constitutes the refereed proceedings of the 8th International Conference on Logic for Prog... Цялото описание
? points 263 b
108.69 €
212.58  лв
Външен склад Изпращаме след 5-8 дни

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

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

Bildung im Alter - Theoretische Grundlagen und eine empirische Untersuchung einer Wohnanlage fur altersgerechtes Wohnen Daniel Werner / Книга С меки корици
common.buy 40.65 € 79.50 лв
Die Küstencrew (Band 1) - Das Gold der Walfänger Nathalie Kranich / Книга С твърди корици
common.buy 14.34 € 28.05 лв
Usinage par décharge électrique des composites à matrice métallique en aluminium Jatinder Kumar / Книга С меки корици
common.buy 62.24 € 121.73 лв
Tieronisch Eulen (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Календар/тефтер Календар
common.buy 30.08 € 58.84 лв

This book constitutes the refereed proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, held in Havana, Cuba, in December 2001.The 40 revised full papers presented together with an invited paper were carefully reviewed and selected from 112 submissions. The book offers topical sections on verification, guarded logic, agents, automated theorem proving, non-classical logics, types, experimental aspects, foundations of logic, CSP and SAT, nonmonotonic reasoning, semantics, termination, knowledge-based systems, analysis of logic programs, databases and knowledge bases, and program analysis and proof planning.

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

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

Пълно заглавие Logic for Programming, Artificial Intelligence, and Reasoning
Автор Robert Nieuwenhuis, Andrei Voronkov
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2001
Брой страници 741
Баркод 9783540429579
ISBN 3540429573
Код Либристо 01563961
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 2310
Размери 155 x 233 x 41

Категории

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

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

Dopamine in the CNS II Gaetano Di Chiara / Книга С меки корици
common.buy 596.51 € 1 166.68 лв
Neurohumoral Regulation of Coronary Flow W. H. van Gilst / Книга С твърди корици
common.buy 108.69 € 212.58 лв
Optical Fiber Fusion Splicing A. D. Yablon / Книга С твърди корици
common.buy 343.90 € 672.62 лв
Modeling Coastal And Offshore Processes Phil Dyke / Книга С меки корици
common.buy 95.23 € 186.25 лв
Towards an Aisthetics of the Victorian Novel Nadine Bohm-Schnitker / Книга С меки корици
common.buy 65.97 € 129.03 лв
University of the State of New York Bulletin Of University of the State of New York / Книга С меки корици
common.buy 28.89 € 56.51 лв
Manual of General Pathology for Students Sidney Martin / Книга С твърди корици
common.buy 39.25 € 76.76 лв
Top
KJV My Creative Bible Pink Lux-Leather Christian Art Gifts / Книга С твърди корици
common.buy 31.12 € 60.86 лв
Life Of William Caxton William Stevenson / Книга С твърди корици
common.buy 33.66 € 65.82 лв
Blood and Daring: How Canada Fought the American Civil War and Forged a Nation John Boyko / Книга С меки корици
common.buy 19.05 € 37.26 лв
Norfolk W A Dutt / Книга С меки корици
common.buy 28.27 € 55.29 лв
assessment of Woreda Capactiy Telaye Fikadu Mulubiran / Книга С меки корици
common.buy 51.99 € 101.68 лв
Conclog: A Methodological Approach to Concurrent Logic Programming J.-M. Jacquet / Книга С меки корици
common.buy 119.77 € 234.26 лв
Structure and Synthesis of PID Controllers Aniruddha Datta / Книга С меки корици
common.buy 162.91 € 318.63 лв
Extending Educational Change Andy Hargreaves / Книга С меки корици
common.buy 54.47 € 106.54 лв

Вход

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

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

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

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

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