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

10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings

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

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

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

Informationsmodellierung in XML und SGML Henning Lobin / Книга С меки корици
common.buy 54.83 € 107.24 лв
Epochen der Musikgeschichte, Heft Wieland Schmid / Книга С меки корици
common.buy 39.98 € 78.20 лв
Top
A legnagyszerűbb könyv a nárcizmusról Bánki György / Книга С меки корици
common.buy 15.15 € 29.64 лв
Recueil des actes de l'Académie impériale des sciences, belles-lettres et arts de Bordeaux Auteur inconnu / Книга С твърди корици
common.buy 103.51 € 202.45 лв
La maladie de Parkinson SOFMA / Книга С меки корици
common.buy 54.42 € 106.43 лв
Silencer T04 Sho Fumimura / Книга С меки корици
common.buy 12.46 € 24.37 лв
Ambassador Hotel - La mort d'un Kennedy, la naissance d'une rock star Desjardins / Книга С меки корици
common.buy 25.14 € 49.16 лв
Un jour, il t'arrivera du bonheur Guerdner / Книга С меки корици
common.buy 20.33 € 39.75 лв
Krysí královny Démoni Wiebe Kurtis J. / Книга С меки корици
common.buy 13.86 € 27.11 лв
Pharmakovigilanz Sachdev Yadav / Книга С меки корици
common.buy 57.52 € 112.50 лв
Agata mène l'enquête, Tome 01 Paul Martin / Книга С меки корици
common.buy 8.89 € 17.39 лв
Poker Matisse Печатни материали Карти
common.buy 4.03 € 7.88 лв
Poník má problémy Jeanne Betancourt / Книга С твърди корици
common.buy 5.84 € 11.42 лв
Competencias para el desarrollo de las Habilidades de Pensamiento Gildardo Aguilar / Книга С меки корици
common.buy 46.35 € 90.65 лв
Plastic blok NEON zelený A6, linka, 60 listů / Канцеларски материали Канцеларски материали
common.buy 2.74 € 5.35 лв
Espanol sin fronteras 2 - CD k pracovnímu sešitu Isabel Santos Gargallo / Digital Digital CD
common.buy 57.47 € 112.40 лв
Friedrich Tabellenbuch Werner Beermann / Книга С твърди корици
common.buy 51.73 € 101.17 лв
Die Neuerfindung der Natur Donna Haraway / Книга С меки корици
common.buy 33.98 € 66.46 лв
Lalius Oder Von Der Freundschaft Marcus Tullius Cicero / Книга С меки корици
common.buy 9.57 € 18.71 лв
Barfussele Berthold Auerbach / Книга С твърди корици
common.buy 23.69 € 46.33 лв
Sprichwoerter bei den roemischen Komiker Wilhelm von Wyss / Книга С меки корици
common.buy 31.19 € 61.00 лв
Radium Und Die Farben C. Doelter / Книга С меки корици
common.buy 30.21 € 59.08 лв
Cyber-Sicherheit Hans-Jürgen Lange / Книга С меки корици
common.buy 54.83 € 107.24 лв
Die Konzeption überarbeiten und weiterentwickeln Sonja Alberti / Книга С меки корици
common.buy 17.53 € 34.29 лв

This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003.§§The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, proof theory, logic calculi, formal verification, model theory, game theory, automata, proof search, constraint systems, model checking, and proof construction.

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

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

Пълно заглавие Logic for Programming, Artificial Intelligence, and Reasoning
Автор Moshe Vardi, Andrei Voronkov
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2003
Брой страници 436
Баркод 9783540201014
ISBN 3540201017
Код Либристо 01558600
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1400
Размери 155 x 233 x 25

Категории

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

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

Group 13 Chemistry I H.W. Roesky / Книга С меки корици
common.buy 216.86 € 424.13 лв
Design of Ship Hull Structures Yasuhisa Okumoto / Книга С меки корици
common.buy 191.25 € 374.05 лв
Body and Soul; Or Life, Mind, and Matter, Considered as to Their Peculiar Nature, and Combined Condition in Living Things George Redford / Книга С твърди корици
common.buy 33.57 € 65.65 лв
Bahrain Emile Nakhleh / Книга С меки корици
common.buy 66.57 € 130.21 лв
Resilient Writer C. Wald / Книга С меки корици
common.buy 14.69 € 28.72 лв
Shakespeare's Troilus and Cressida and the Inns of Court Revels W.R. Elton / Книга С твърди корици
common.buy 226.89 € 443.76 лв
NeuroLeadership Sam Page / Книга С меки корици
common.buy 19.45 € 38.03 лв
Galileo, Michelangelo and Da Vinci Baby Professor / Книга С меки корици
common.buy 12.10 € 23.67 лв
THE FLOWING BOWL: WHEN AND WHAT TO DRINK WILLIAM SCHMIDT / Книга С твърди корици
common.buy 42.98 € 84.07 лв
Bean There, Drunk That... the Definitive Guide to Coffee and the World of the Barista Matthew Gee / Книга С меки корици
common.buy 20.84 € 40.77 лв
Labor Matters Roderick O Ford J D / Книга С твърди корици
common.buy 36.83 € 72.03 лв
Ebony Enigma Lottie Lawrence / Книга С меки корици
common.buy 16.70 € 32.67 лв
Modeling Biomolecular Networks in Cells Luonan Chen / Книга С меки корици
common.buy 108.58 € 212.36 лв
Practical Treatise on the Culture of the Vine JOHN SANDERS / Книга С твърди корици
common.buy 29.74 € 58.17 лв
Theories of Violent Conflict Jolle Demmers / Книга С меки корици
common.buy 65.90 € 128.89 лв
Cold War and Decolonisation Andrea Benvenuti / Книга С меки корици
common.buy 37.81 € 73.95 лв
Albion's Story Kate Grenville / Книга С меки корици
common.buy 17.17 € 33.58 лв
At the Earth's Core Edgar Rice Burroughs / Книга С меки корици
common.buy 13.65 € 26.70 лв
Maddie's Reading Log Martha Day Zschock / Книга С меки корици
common.buy 8.38 € 16.38 лв
The Holdout Laurel Osterkamp / Книга С меки корици
common.buy 10.60 € 20.73 лв
Advances in Smart Grid and Renewable Energy Akash Kumar Bhoi / Книга С твърди корици
common.buy 325.18 € 636.00 лв
The Gold Hunters Of California (1904) Thomas Edwin Farish / Книга С меки корици
common.buy 25.19 € 49.26 лв
The Playful Politics of Memes Mette Mortensen / Книга С меки корици
common.buy 61.76 € 120.80 лв
Genomic Mosaicism in Neurons and Other Cell Types José María Frade / Книга С меки корици
common.buy 116.96 € 228.76 лв

Вход

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

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

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

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

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