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

Formal Methods in Artificial Intelligence

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods in Artificial Intelligence Allan M. Ramsay
Код Либристо: 02030414
Издателство Cambridge University Press, юли 1991
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-beha... Цялото описание
? points 133 b
55.09 €
107.76  лв
Външен склад Изпращаме след 9-15 дни

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

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

De Bello Et Excidio Trojae, In Usum Serenissimi Delphini (1702) Dictys Cretensis / Книга С меки корици
common.buy 45.82 € 89.63 лв
New York 2017, Streifenkalender XXL Marco Becher / Календар/тефтер Календар
common.buy 17.81 € 34.83 лв
Alienmorder Stephen Goldin / E-книга Adobe ePub DRM
common.buy 2.79 € 5.46 лв
Cryogenic Nightmare Chet Cunningham Аудиокнига MP3
common.buy 26.46 € 51.75 лв
Fantom I: Přízračné legie Terry Goodkind / Книга С меки корици
common.buy 13.87 € 27.13 лв
La tarification du carbone et ses répercussions Rokhaya / Книга С меки корици
common.buy 28.79 € 56.30 лв
Cooperación en la formación entre instituciones / Книга С меки корици
common.buy 24.75 € 48.40 лв
Triceratops Dennis Schatz / Книга Книга
common.buy 18.64 € 36.45 лв
Besch ftigung, Geld Und Preisniveaustabilit t Artur Woll / Книга С меки корици
common.buy 55.98 € 109.48 лв
Sonneberg 1 : 50 000 (L5732) / Печатни материали Карта
common.buy 8.54 € 16.70 лв
Mit Volldampf über den Berg. (Puzzle) H. P. Reschinger / Игра/играчка Игра
common.buy 36.19 € 70.79 лв

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.

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

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

Пълно заглавие Formal Methods in Artificial Intelligence
Автор Allan M. Ramsay
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1991
Брой страници 292
Баркод 9780521424219
ISBN 0521424216
Код Либристо 02030414
Издателство Cambridge University Press
Тегло 470
Размери 170 x 244 x 16

Категории

Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Knowledge Intensive Computer Aided Design Susan Finger / Книга С твърди корици
common.buy 237.12 € 463.77 лв
Miscellaneous Papers on Political and Commercial Subjects ]. Noah Webster / Книга С меки корици
common.buy 22.26 € 43.54 лв
Religion, belief and social work Sheila Furness / Книга С меки корици
common.buy 34.48 € 67.45 лв
Er Larry Stockstill / Книга С меки корици
common.buy 19.41 € 37.97 лв
Race and Ethnicity in Anglo-Saxon Literature Stephen J. Harris / Книга С твърди корици
common.buy 235.31 € 460.22 лв
Visionary Greg Belter / Книга С меки корици
common.buy 8.38 € 16.40 лв
FLAGHOPPING And Other Poems MICHAEL PATTWELL / Книга С меки корици
common.buy 19.62 € 38.38 лв
Acts R. Kent Hughes / Книга С твърди корици
common.buy 38.83 € 75.95 лв
Treasury of Miracles for Teens Karen Kingsbury / Книга С твърди корици
common.buy 18.79 € 36.76 лв
Óscar y la gata de medianoche Ron Brooks / Книга С меки корици
common.buy 18.22 € 35.64 лв
Complications of Bone Marrow and Stem Cell Transplants: Fast Focus Study Guide J T Thomas MD / Книга С меки корици
common.buy 12.16 € 23.79 лв
The Thing That Made the Noise: The Search for the Thing Jaymes Brown / Книга С меки корици
common.buy 15.74 € 30.78 лв
Growing God's Gifts Lucy Joy / Книга С твърди корици
common.buy 14.24 € 27.84 лв
The Soldier's Companion To The Spiritual Exercises (1882) Joseph Redman / Книга С меки корици
common.buy 22.21 € 43.44 лв
Saddle Club 54: Gold Medal Rider Bonnie Bryant / E-книга Adobe ePub DRM
common.buy 8.07 € 15.79 лв
Bioinformatics with Python Cookbook - Third Edition Tiago Antao / Книга С меки корици
common.buy 59.19 € 115.76 лв
Mr Men Little Miss Audio Collection Roger Hargreaves / Аудиокнига MP3
common.buy 6.16 € 12.04 лв
Royal School of Needlework: Wall of Wool (Blank Sketch Book) Flame Tree Publishing / Книга С твърди корици
common.buy 15.53 € 30.37 лв
In Fields Where Daisies Grow Elizabeth Jeffrey / Книга С меки корици
common.buy 30.91 € 60.46 лв
Chesapeake Campaigns 1813-15 Scott Sheads / Книга С меки корици
common.buy 21.74 € 42.53 лв
Top
Star Wars: The Essential Atlas Daniel Wallace / Книга С меки корици
common.buy 26.66 € 52.15 лв
Classical Mechanics Walter Greiner / Книга С меки корици
common.buy 106.47 € 208.23 лв
Quantum Computing Debabrata Goswami / Книга С твърди корици
common.buy 131.27 € 256.74 лв
Universality of Nonclassical Nonlinearity Pier Paolo Delsanto / Книга С меки корици
common.buy 217.08 € 424.57 лв

Вход

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

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

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

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

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