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

4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Logic Programming and Automated Reasoning Andrei Voronkov
Код Либристо: 05274323
Издателство Springer, Berlin, ноември 1992
LPAR is an international conference series aimed at bringing together researchers interested in logi... Цялото описание
? points 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

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

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

Mortalidad Por Suicidio En La Región de Las Américas: Informe Regional 2010-2014 Pan American Health Organization / Книга С меки корици
common.buy 37.90 € 74.13 лв
Elmar und seine Freunde, Deutsch-Englisch. Elmer's Friends David McKee / Книга Дипляна
common.buy 9.37 € 18.32 лв
Microblogging En La Educacion Lenis Querales / Книга С меки корици
common.buy 27.54 € 53.87 лв
Prosa. Tl.1 Paul Celan / Книга С твърди корици
common.buy 97.92 € 191.52 лв
Sedmý závoj - Listy z jednoho století František R. Kraus / Книга С твърди корици
common.buy 7.92 € 15.49 лв
Kondolenzbuch Premium "Wir nehmen Abschied" Anna Piok / Книга С твърди корици
common.buy 19.10 € 37.36 лв
Gay: Saliendose y viniendose Kathleen Hope / E-книга Adobe ePub DRM
common.buy 5.02 € 9.81 лв
Les Arcana Arcanorum et les rites maçonniques égyptiens de Memphis et Misraïm Karol / Книга С твърди корици
common.buy 32.41 € 63.39 лв
Noches de uvas que han fermentado Jaime Cesar / Книга С меки корици
common.buy 6.78 € 13.26 лв
Traktory i kombajny Krzysztof Kozera / Книга С меки корици
common.buy 5.23 € 10.22 лв
Svenska-Ungerska Verktyg/Szerszámok Barns tv?spr?kiga bildordbok Suzanne Carlson / Книга С меки корици
common.buy 12.16 € 23.79 лв
Espa?ol - Marathi: Escritura & Colorear Alfabeto Libros Educación Infantiles: Spanish Marathi Practicar alfabeto ABC letras con dibujos a Emilly Lima / Книга С меки корици
common.buy 10.35 € 20.25 лв
Commander (Buch III) Heino Caesar / Книга С меки корици
common.buy 36.97 € 72.31 лв
Gedichtinterpretationen gestalten lernen - mit Naturlyrik Johannes G Klinkmuller / Книга С меки корици
common.buy 23.76 € 46.48 лв
Schweizer Jahrbuch fuer Musikwissenschaft- Annales Suisses de Musicologie- Annuario Svizzero di Musicologia Joseph Willimann / Книга С меки корици
common.buy 81.25 € 158.90 лв

LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".

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

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

Пълно заглавие Logic Programming and Automated Reasoning
Автор Andrei Voronkov
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1993
Брой страници 394
Баркод 9783540569442
ISBN 3540569448
Код Либристо 05274323
Издателство Springer, Berlin
Тегло 533
Размери 155 x 233 x 21

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Short-cut Demand Elasticities and Other Convenient Approaches to Consumer Demand Kenneth W. Clements / Книга С твърди корици
common.buy 141.21 € 276.19 лв
Polishes and Stains for Woods David Denning / Книга С меки корици
common.buy 26.04 € 50.94 лв
Shampoo - The Criterion Collection / Видео Blu-ray
common.buy 25.63 € 50.13 лв
Buddy Holly: "Chirping" Crickets / 180G Buddy Holly / Аудио Аудио плоча
common.buy 14.91 € 29.16 лв
Cambridge International AS Level History Modern Europe 1774-1924 Coursebook with Digital Access (2 Years) Patrick Walsh-Atkins / Книга С меки корици
common.buy 38.21 € 74.74 лв
The Essential Guide to the Loch Ness Monster & Other Aquatic Cryptids Ken Gerhard / Книга С меки корици
common.buy 19.31 € 37.77 лв
Bones being Further Adventures in Mr. Commissioner Sanders' Country Edagar Wallace / Книга С меки корици
common.buy 10.35 € 20.25 лв
Liverpool Travel Guide: Sightseeing, Hotel, Restaurant & Shopping Highlights Angela Woodward / Книга С меки корици
common.buy 13.04 € 25.51 лв
Recent Advances in Computer Science and Information Engineering Lei Cao / Книга С меки корици
common.buy 217.08 € 424.57 лв
Going the Distance: Dissident Subjectivity in Modernist American Literature David R. Jarraway / Книга С меки корици
common.buy 32.72 € 64.00 лв
Information and Decision in Behavioral Economics Adam Biela / Книга С твърди корици
common.buy 61.62 € 120.52 лв
Present State of Music in France and Italy Charles Burney / Книга С меки корици
common.buy 30.91 € 60.46 лв
Mentoria Ann Murry / Книга С твърди корици
common.buy 43.96 € 85.98 лв
Russia's Unknown Agriculture Judith Pallot / Книга С твърди корици
common.buy 158.92 € 310.83 лв
Lost City of the Incas Hiram Bingham / Книга С меки корици
common.buy 14.91 € 29.16 лв
Подготвяме
Antarctica David Walton / Книга С твърди корици
common.buy 71.15 € 139.15 лв
Singular Elliptic Problems Marius Ghergu / Книга С твърди корици
common.buy 115.99 € 226.87 лв
Sources in European Political History Chris Cook / Книга С твърди корици
common.buy 183.83 € 359.55 лв
Surgical Management of Nasal Obstruction: Rhinologic Perspective, An Issue of Otolaryngologic Clinics Samuel S. Becker / Книга С твърди корици
common.buy 95.95 € 187.67 лв
Telling without Talking Barry M. Cohen / Книга С твърди корици
common.buy 51.37 € 100.46 лв
Elliptic Curves. (MN-40), Volume 40 Anthony W. Knapp / Книга С меки корици
common.buy 139.14 € 272.14 лв
Noise in Semiconductor Devices Fabrizio Bonani / Книга С твърди корици
common.buy 162.91 € 318.63 лв

Вход

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

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

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

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

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