Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Proof Theory for Description Logics

Język AngielskiAngielski
Książka Miękka
Książka Proof Theory for Description Logics Alexandre Rademaker
Kod Libristo: 01425944
Wydawnictwo Springer London Ltd, maj 2012
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are... Cały opis
? points 140 b
245.26 zł
Na zamówienie Wysyłamy za 17-27 dni

30 dni na zwrot towaru

Klienci kupili także

Les Fievres d'Acces Dans La Vallee de Lutzelbourg Meurthe Schwing-N-P / Książka Miękka
common.buy 54.03 zł
Tonio et son ami magique Meilliez / Książka Miękka
common.buy 70.30 zł
Súvislosti Pavol Stanislav / Książka Miękka
common.buy 15.26 zł
UVA ALIMENTOS SANOS VALPIANA / Książka Książka
common.buy 29.12 zł
Návrat Krále Šumavy Žák David Jan / Audio CD Audio
common.buy 56.24 zł
Les Chamanes de la préhistoire ((Réédition)) Jean Clottes / Książka Miękka
common.buy 49.81 zł
Peter Tutt: Zustande In Amerika (1862) Adelbert Baudissin / Książka Miękka
common.buy 130.26 zł
Lucky Luke - Western Circus René Goscinny / Książka Twarda
common.buy 54.13 zł
Solo Vonda Shepard / Audio CD Audio
common.buy 98.02 zł
True Love Kai-Uwe Freudenberger / Książka Miękka
common.buy 31.03 zł
Elora im Tal der Elfen Renate Schweitzer / Książka Miękka
common.buy 46.29 zł
Das Glucksmilieu oder die Illusion des ICH Pepe Holzer / Książka Twarda
common.buy 89.08 zł
Manipulacion del Producto Pesquero a Bordo de Las Embarcaciones Fabián Chavarría Solera / Książka Miękka
common.buy 147.93 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Proof Theory for Description Logics
Autor Alexandre Rademaker
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 106
EAN 9781447140016
ISBN 144714001X
Kod Libristo 01425944
Wydawnictwo Springer London Ltd
Waga 192
Wymiary 155 x 235 x 20

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Informatyka i technologie informacyjne (IT) > Bazy danych > Pozyskiwanie i analiza danych
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Blueberries for Sal Cookbook: Sweet Recipes Inspired by the Beloved Children's Classic MCCLOSKEY ROBERT / Książka Twarda
common.buy 51.31 zł
Edil's New Shoes: A tale of family, sacrifice, and reward Xingyu Wei / Książka Miękka
common.buy 43.78 zł
Cyborg Anna Hackett / Książka Miękka
common.buy 51.51 zł
Matisse Picasso and Gertrudis Stein: With Two Shorter Stories Gertrude Stein / Książka Miękka
common.buy 82.05 zł
Practical Guide to Clinical Computing Systems: Design, Operations, and Infrastructure Thomas Payne / Książka Miękka
common.buy 543.96 zł
Christianity's Family Tree Participant's Guide Adam Hamilton / Książka Miękka
common.buy 63.77 zł
Figuraciones del deseo y coyunturas generacionales en literatura y cine postdictatorial Moises Park / Książka Twarda
common.buy 373.42 zł
Law at War Ammunition United States. Department of the Army Allocations Committee / Książka Miękka
common.buy 98.72 zł
Nuclear Command and Control in NATO Shaun R. Gregory / Książka Twarda
common.buy 485.81 zł
Zapowiedź
Reducing Process Costs with Lean, Six Sigma, and Value Engineering Techniques Kim H Pries / Książka Twarda
common.buy 798.78 zł
65th Conference on Glass Problems (Ceramic Engineering and Science Proceedings V26 Number 1) Drummond III / Książka Miękka
common.buy 583.64 zł
What We Can Never Know David Gamez / Książka Twarda
common.buy 592.38 zł
Heritage, Labour and the Working Classes Laurajane Smith / Książka Miękka
common.buy 288.25 zł
Draughtsmen, Botanists and Nature: Kärin Nickelsen / Książka Twarda
common.buy 436.90 zł
Decline of the Anglo-American Middle East, 1961-1969 Tore T. Petersen / Książka Miękka
common.buy 246.47 zł
Soul Mates Jenny Smedley / Książka Miękka
common.buy 74.01 zł
Performing Gender Violence Barbara Ozieblo / Książka Twarda
common.buy 175.96 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?