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

9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

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

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

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

Leto tvojej nehy Juraj Kalnický / Книга С твърди корици
common.buy 3.56 € 6.96 лв
Egal was sich auch ändert, das Herz bleibt genau dasselbe Berman Vered / Книга С твърди корици
common.buy 15.29 € 29.90 лв
Gold & Rainbows-The Warner Bros Years 1969-1978 Seals and Crofts / Аудио Аудио компактдиск
common.buy 66.13 € 129.34 лв
LES COQUILLAGES ET CE QU'ILS CACHENT Helen SCALES / Книга Книга
common.buy 17.82 € 34.85 лв
Knooking – pletení na háčku. Základní postupy krok za krokem Veronika Hugová / Книга С меки корици
common.buy 10.38 € 20.30 лв
CONTRE-NOIR MATTHIEU PECK / Книга С меки корици
common.buy 26.29 € 51.43 лв
Die Silbermeer-Saga (Band 2) - Die Fließende Karte Katharina Hartwell / Книга С твърди корици
common.buy 20.87 € 40.82 лв
Mezi vilami Justin Quinn / Книга С твърди корици
common.buy 11.31 € 22.12 лв
Bachiben Ane Babubhai Amricama: Gujarati Hasya Navalakathaa Kirit Bhakta / Книга С меки корици
common.buy 11.21 € 21.92 лв
Promenades A Chamouni Lutz-M / Книга С меки корици
common.buy 14.57 € 28.49 лв
Karma Tolstói / Книга С меки корици
common.buy 12.76 € 24.95 лв
Etudes de la Nature. Tome 3 Henri Bernardin De Saint-Pierre / Книга С меки корици
common.buy 33.11 € 64.77 лв

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.

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

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

Пълно заглавие Logic for Programming, Artificial Intelligence, and Reasoning
Автор Matthias Baaz, Andrei Voronkov
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2002
Брой страници 470
Баркод 9783540000105
ISBN 3540000100
Код Либристо 01555913
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1490
Размери 155 x 235 x 27

Категории

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 Книгата ще пристигне на адреса на получателя

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

Non Coding RNAs in Plants Volker A. Erdmann / Книга С меки корици
common.buy 216.59 € 423.61 лв
Army of Shadows Joseph Kessel / Книга С меки корици
common.buy 17.25 € 33.74 лв
Legacies of Great Men in World Soccer Kausik Bandyopadhyay / Книга С твърди корици
common.buy 146.42 € 286.38 лв
Papers by Command, Volume 88 Great Britain Parliament House of Comm / Книга С твърди корици
common.buy 50.53 € 98.82 лв
Подготвяме
Skills-Based Health Education Mary Connolly / Книга С меки корици
common.buy 157.74 € 308.51 лв
Ordnance Survey Memoirs of Ireland: Vol. 11: Parishes of Co. Londonderry III: 1831-5 Angelique Day / Книга С меки корици
common.buy 16.63 € 32.53 лв
Learn Java for Android Development: Java 8 and Android 5 Edition Jeff Friesen / Книга С меки корици
common.buy 29.70 € 58.10 лв
Family Tree Albany De Fonblanque / Книга С твърди корици
common.buy 34.41 € 67.29 лв
Frankia in Heavy Metals and Aromatic Compounds Bio-remediation Medhat Rehan / Книга С меки корици
common.buy 52.70 € 103.06 лв
Life Less Throwaway Tara Button / Книга С меки корици
common.buy 16.27 € 31.82 лв
NETWORKING 2012 Workshops Zdenek Becvar / Книга С меки корици
common.buy 54.35 € 106.30 лв
Ice Kevin Tinto / Книга С меки корици
common.buy 16.17 € 31.62 лв
Chemistry: Theory and Practice BRUCE HORAK / Книга С твърди корици
common.buy 129.22 € 252.73 лв
Nursing Care and ECMO Chirine Mossadegh / Книга С меки корици
common.buy 40.61 € 79.42 лв
Hymns for Brass: Conductor Hal Leonard Corp / Книга С меки корици
common.buy 13.58 € 26.57 лв
Write Now Inga Dubay / Книга С меки корици
common.buy 13.53 € 26.47 лв
New Spring: Prequel to the Wheel of Time Robert Jordan / Книга С меки корици
common.buy 8.42 € 16.46 лв
Expanding World Ayahuasca Diaspora Beatriz Caiuby Labate / Книга С меки корици
common.buy 67.63 € 132.27 лв
Through Deserts And Oases Of Central Asia Ella Sykes / Книга С твърди корици
common.buy 45.72 € 89.42 лв
Подготвяме
National Geographic Traveler Japan 7th Edition E07 / Книга С меки корици
common.buy 25.98 € 50.82 лв
Broken Boundaries Katherine M. Quinsey / Книга С меки корици
common.buy 34.10 € 66.69 лв
Seed-borne plant virus diseases K. Subramanya Sastry / Книга С твърди корици
common.buy 162.54 € 317.91 лв
Building Structures Illustrated - Patterns, Systems, and Design, Second Edition Francis D K Ching / Книга С меки корици
common.buy 53.47 € 104.58 лв
Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE Bran Selic / Книга С меки корици
common.buy 67.94 € 132.88 лв

Вход

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

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

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

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

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