Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Proof Theory for Description Logics

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Proof Theory for Description Logics Alexandre Rademaker
Libristo kód: 01425944
Nakladateľstvo Springer London Ltd, máj 2012
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are... Celý popis
? points 140 b
57.71 €
U vydavateľa na objednávku Odosielame za 17-27 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

True Love Kai-Uwe Freudenberger / Kniha Brožovaná
common.buy 7.27 €
Lucky Luke - Western Circus René Goscinny / Kniha Pevná
common.buy 12.73 €
Les Fievres d'Acces Dans La Vallee de Lutzelbourg Meurthe Schwing-N-P / Kniha Brožovaná
common.buy 12.12 €
Manipulacion del Producto Pesquero a Bordo de Las Embarcaciones Fabián Chavarría Solera / Kniha Brožovaná
common.buy 34.87 €
Das Glucksmilieu oder die Illusion des ICH Pepe Holzer / Kniha Pevná
common.buy 20.92 €
Solo Vonda Shepard / Audio Audio CD
common.buy 23.04 €
Peter Tutt: Zustande In Amerika (1862) Adelbert Baudissin / Kniha Brožovaná
common.buy 29.21 €
Les Chamanes de la préhistoire ((Réédition)) Jean Clottes / Kniha Brožovaná
common.buy 11.51 €
Návrat Krále Šumavy Žák David Jan / Audio Audio CD
common.buy 12.83 €
UVA ALIMENTOS SANOS VALPIANA / Kniha Kniha
common.buy 6.76 €
Súvislosti Pavol Stanislav / Kniha Brožovaná
common.buy 3.12 €
Tonio et son ami magique Meilliez / Kniha Brožovaná
common.buy 16.37 €
Elora im Tal der Elfen Renate Schweitzer / Kniha Brožovaná
common.buy 10.91 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Proof Theory for Description Logics
Autor Alexandre Rademaker
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2012
Počet strán 106
EAN 9781447140016
ISBN 144714001X
Libristo kód 01425944
Nakladateľstvo Springer London Ltd
Váha 192
Rozmery 155 x 235 x 20

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Informatika > Teória algoritmov > Matematika pre informatikov
Výpočtové a informačné technológie > Databázy > Uchovávanie a analýza dát
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Figuraciones del deseo y coyunturas generacionales en literatura y cine postdictatorial Moises Park / Kniha Pevná
common.buy 87.94 €
Blueberries for Sal Cookbook: Sweet Recipes Inspired by the Beloved Children's Classic MCCLOSKEY ROBERT / Kniha Pevná
common.buy 11.31 €
Edil's New Shoes: A tale of family, sacrifice, and reward Xingyu Wei / Kniha Brožovaná
common.buy 9.80 €
Scenic Route to Purpose E. Danielle Butler / Kniha Brožovaná
common.buy 15.56 €
Cyborg Anna Hackett / Kniha Brožovaná
common.buy 11.51 €
Matisse Picasso and Gertrudis Stein: With Two Shorter Stories Gertrude Stein / Kniha Brožovaná
common.buy 18.39 €
Practical Guide to Clinical Computing Systems: Design, Operations, and Infrastructure Thomas Payne / Kniha Brožovaná
common.buy 131.62 €
Christianity's Family Tree Participant's Guide Adam Hamilton / Kniha Brožovaná
common.buy 14.04 €
Pripravujeme
Reducing Process Costs with Lean, Six Sigma, and Value Engineering Techniques Kim H Pries / Kniha Pevná
common.buy 203.39 €
Law at War Ammunition United States. Department of the Army Allocations Committee / Kniha Brožovaná
common.buy 22.23 €
Nuclear Command and Control in NATO Shaun R. Gregory / Kniha Pevná
common.buy 109.17 €
Draughtsmen, Botanists and Nature: Kärin Nickelsen / Kniha Pevná
common.buy 102.90 €
Performing Gender Violence Barbara Ozieblo / Kniha Pevná
common.buy 38.81 €
Soul Mates Jenny Smedley / Kniha Brožovaná
common.buy 18.29 €
Heritage, Labour and the Working Classes Laurajane Smith / Kniha Brožovaná
common.buy 67.93 €
65th Conference on Glass Problems (Ceramic Engineering and Science Proceedings V26 Number 1) Drummond III / Kniha Brožovaná
common.buy 130.81 €
Decline of the Anglo-American Middle East, 1961-1969 Tore T. Petersen / Kniha Brožovaná
common.buy 60.04 €
What We Can Never Know David Gamez / Kniha Pevná
common.buy 146.88 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?