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

Proof Theory for Description Logics

Език Английски езикАнглийски език
Книга С меки корици
Книга Proof Theory for Description Logics Alexandre Rademaker
Код Либристо: 01425944
Издателство Springer London Ltd, май 2012
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are... Цялото описание
? points 147 b
60.74 €
118.80  лв
Налично при издателя, по поръчка Изпращаме след 17-27 дни

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

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

Les Fievres d'Acces Dans La Vallee de Lutzelbourg Meurthe Schwing-N-P / Книга С меки корици
common.buy 12.73 € 24.91 лв
Tonio et son ami magique Meilliez / Книга С меки корици
common.buy 17.34 € 33.92 лв
Súvislosti Pavol Stanislav / Книга С меки корици
common.buy 3.83 € 7.49 лв
UVA ALIMENTOS SANOS VALPIANA / Книга Книга
common.buy 7.14 € 13.97 лв
Návrat Krále Šumavy Žák David Jan / Аудио Аудио компактдиск
common.buy 14.03 € 27.44 лв
Les Chamanes de la préhistoire ((Réédition)) Jean Clottes / Книга С меки корици
common.buy 12.27 € 23.99 лв
Peter Tutt: Zustande In Amerika (1862) Adelbert Baudissin / Книга С меки корици
common.buy 30.76 € 60.15 лв
Lucky Luke - Western Circus René Goscinny / Книга С твърди корици
common.buy 13.56 € 26.53 лв
Solo Vonda Shepard / Аудио Аудио компактдиск
common.buy 24.23 € 47.39 лв
True Love Kai-Uwe Freudenberger / Книга С меки корици
common.buy 7.71 € 15.08 лв
Elora im Tal der Elfen Renate Schweitzer / Книга С меки корици
common.buy 11.54 € 22.58 лв
Das Glucksmilieu oder die Illusion des ICH Pepe Holzer / Книга С твърди корици
common.buy 22.11 € 43.24 лв
Manipulacion del Producto Pesquero a Bordo de Las Embarcaciones Fabián Chavarría Solera / Книга С меки корици
common.buy 36.97 € 72.31 лв

Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantic. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge.§A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes.

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

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

Пълно заглавие Proof Theory for Description Logics
Автор Alexandre Rademaker
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2012
Брой страници 106
Баркод 9781447140016
ISBN 144714001X
Код Либристо 01425944
Издателство Springer London Ltd
Тегло 192
Размери 155 x 235 x 20

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Databases > Data capture & analysis
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Blueberries for Sal Cookbook: Sweet Recipes Inspired by the Beloved Children's Classic MCCLOSKEY ROBERT / Книга С твърди корици
common.buy 12.11 € 23.69 лв
Edil's New Shoes: A tale of family, sacrifice, and reward Xingyu Wei / Книга С меки корици
common.buy 10.35 € 20.25 лв
Cyborg Anna Hackett / Книга С меки корици
common.buy 12.16 € 23.79 лв
Matisse Picasso and Gertrudis Stein: With Two Shorter Stories Gertrude Stein / Книга С меки корици
common.buy 19.36 € 37.87 лв
Practical Guide to Clinical Computing Systems: Design, Operations, and Infrastructure Thomas Payne / Книга С меки корици
common.buy 134.17 € 262.42 лв
Christianity's Family Tree Participant's Guide Adam Hamilton / Книга С меки корици
common.buy 15.06 € 29.46 лв
Figuraciones del deseo y coyunturas generacionales en literatura y cine postdictatorial Moises Park / Книга С твърди корици
common.buy 92.79 € 181.49 лв
Law at War Ammunition United States. Department of the Army Allocations Committee / Книга С меки корици
common.buy 23.30 € 45.57 лв
Nuclear Command and Control in NATO Shaun R. Gregory / Книга С твърди корици
common.buy 119.77 € 234.26 лв
Подготвяме
Reducing Process Costs with Lean, Six Sigma, and Value Engineering Techniques Kim H Pries / Книга С твърди корици
common.buy 197.97 € 387.20 лв
65th Conference on Glass Problems (Ceramic Engineering and Science Proceedings V26 Number 1) Drummond III / Книга С меки корици
common.buy 137.74 € 269.41 лв
What We Can Never Know David Gamez / Книга С твърди корици
common.buy 154.57 € 302.32 лв
Heritage, Labour and the Working Classes Laurajane Smith / Книга С меки корици
common.buy 68.04 € 133.08 лв
Draughtsmen, Botanists and Nature: Kärin Nickelsen / Книга С твърди корици
common.buy 108.69 € 212.58 лв
Decline of the Anglo-American Middle East, 1961-1969 Tore T. Petersen / Книга С меки корици
common.buy 58.20 € 113.83 лв
Soul Mates Jenny Smedley / Книга С меки корици
common.buy 19.26 € 37.67 лв
Performing Gender Violence Barbara Ozieblo / Книга С твърди корици
common.buy 41.53 € 81.22 лв

Вход

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

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

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

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

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