Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Proof Theory for Description Logics

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Proof Theory for Description Logics Alexandre Rademaker
Libristo kód: 01425944
Nakladatelství Springer London Ltd, květen 2012
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are... Celý popis
? points 140 b
1 399 Kč
U nakladatele na objednávku Odesíláme za 17-27 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Proof Theory for Description Logics
Autor Alexandre Rademaker
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2012
Počet stran 106
EAN 9781447140016
ISBN 144714001X
Libristo kód 01425944
Nakladatelství Springer London Ltd
Váha 192
Rozměry 155 x 235 x 20

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
Výpočetní a informační technologie > Databáze > Uchovávání a analýza dat
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Blueberries for Sal Cookbook: Sweet Recipes Inspired by the Beloved Children's Classic MCCLOSKEY ROBERT / Kniha Pevná
common.buy 275 Kč
Edil's New Shoes: A tale of family, sacrifice, and reward Xingyu Wei / Kniha Brožovaná
common.buy 237 Kč
Cyborg Anna Hackett / Kniha Brožovaná
common.buy 279 Kč
Matisse Picasso and Gertrudis Stein: With Two Shorter Stories Gertrude Stein / Kniha Brožovaná
common.buy 445 Kč
Practical Guide to Clinical Computing Systems: Design, Operations, and Infrastructure Thomas Payne / Kniha Brožovaná
common.buy 2 962 Kč
Christianity's Family Tree Participant's Guide Adam Hamilton / Kniha Brožovaná
common.buy 341 Kč
Figuraciones del deseo y coyunturas generacionales en literatura y cine postdictatorial Moises Park / Kniha Pevná
common.buy 2 018 Kč
Law at War Ammunition United States. Department of the Army Allocations Committee / Kniha Brožovaná
common.buy 539 Kč
Nuclear Command and Control in NATO Shaun R. Gregory / Kniha Pevná
common.buy 2 646 Kč
Připravujeme
Reducing Process Costs with Lean, Six Sigma, and Value Engineering Techniques Kim H Pries / Kniha Pevná
common.buy 4 328 Kč
65th Conference on Glass Problems (Ceramic Engineering and Science Proceedings V26 Number 1) Drummond III / Kniha Brožovaná
common.buy 3 167 Kč
What We Can Never Know David Gamez / Kniha Pevná
common.buy 3 379 Kč
Heritage, Labour and the Working Classes Laurajane Smith / Kniha Brožovaná
common.buy 1 571 Kč
Draughtsmen, Botanists and Nature: Kärin Nickelsen / Kniha Pevná
common.buy 2 357 Kč
Decline of the Anglo-American Middle East, 1961-1969 Tore T. Petersen / Kniha Brožovaná
common.buy 1 349 Kč
Soul Mates Jenny Smedley / Kniha Brožovaná
common.buy 422 Kč
Performing Gender Violence Barbara Ozieblo / Kniha Pevná
common.buy 941 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?