Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Proof Theory for Description Logics

Sprache EnglischEnglisch
Buch Broschur
Buch Proof Theory for Description Logics Alexandre Rademaker
Libristo-Code: 01425944
Verlag Springer London Ltd, Mai 2012
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are... Vollständige Beschreibung
? points 119 b
48.69 € inkl. MwSt.
Beim Verlag auf Bestellung Wir versenden in 17-27 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Das Erbe des Weißen Wolfs Erik Simon / Buch Broschur
common.buy 16.00 €
Súvislosti Pavol Stanislav / Buch Broschur
common.buy 3.09 €
UVA ALIMENTOS SANOS VALPIANA / Buch Buch
common.buy 5.79 €
Návrat Krále Šumavy Žák David Jan / Audio Audio CD
common.buy 11.89 €
Les Chamanes de la préhistoire ((Réédition)) Jean Clottes / Buch Broschur
common.buy 9.39 €
Peter Tutt: Zustande In Amerika (1862) Adelbert Baudissin / Buch Broschur
common.buy 25.89 €
Tonio et son ami magique Meilliez / Buch Broschur
common.buy 13.29 €
Lucky Luke - Western Circus René Goscinny / Buch Hardcover
common.buy 15.00 €
Dnewnik, kotorogo ne bylo Evgeniya Zinina / Buch Broschur
common.buy 45.79 €
Kleinere Schriften und Briefe Julius Robert von Mayer / Buch Broschur
common.buy 34.90 €
Les Fievres d'Acces Dans La Vallee de Lutzelbourg Meurthe Schwing-N-P / Buch Broschur
common.buy 10.69 €
True Love Kai-Uwe Freudenberger / Buch Broschur
common.buy 7.90 €
Solo Vonda Shepard / Audio Audio CD
common.buy 20.99 €
Elora im Tal der Elfen Renate Schweitzer / Buch Broschur
common.buy 11.99 €
Das Glucksmilieu oder die Illusion des ICH Pepe Holzer / Buch Hardcover
common.buy 19.99 €
Excursions d'Une Francaise Dans La Regence de Tunis (Ed.1884) Anne-Caroline Josephine Voisins D' Ambre / Buch Broschur
common.buy 20.29 €
Manipulacion del Producto Pesquero a Bordo de Las Embarcaciones Fabián Chavarría Solera / Buch Broschur
common.buy 30.39 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Proof Theory for Description Logics
Autor Alexandre Rademaker
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2012
Anzahl der Seiten 106
EAN 9781447140016
ISBN 144714001X
Libristo-Code 01425944
Verlag Springer London Ltd
Gewicht 192
Abmessungen 155 x 235 x 20

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker
EDV und Informationstechnologie > Datenbanken > Datenerfassung und -analyse
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Figuraciones del deseo y coyunturas generacionales en literatura y cine postdictatorial Moises Park / Buch Hardcover
common.buy 77.89 €
Blueberries for Sal Cookbook: Sweet Recipes Inspired by the Beloved Children's Classic MCCLOSKEY ROBERT / Buch Hardcover
common.buy 9.69 €
Edil's New Shoes: A tale of family, sacrifice, and reward Xingyu Wei / Buch Broschur
common.buy 10.69 €
Women in Moroccan Cinema Hmad Benaissa / Buch Broschur
common.buy 21.49 €
Cyborg Anna Hackett / Buch Broschur
common.buy 10.19 €
Matisse Picasso and Gertrudis Stein: With Two Shorter Stories Gertrude Stein / Buch Broschur
common.buy 20.09 €
Practical Guide to Clinical Computing Systems: Design, Operations, and Infrastructure Thomas Payne / Buch Broschur
common.buy 118.39 €
Christianity's Family Tree Participant's Guide Adam Hamilton / Buch Broschur
common.buy 12.09 €
Demnächst
Reducing Process Costs with Lean, Six Sigma, and Value Engineering Techniques Kim H Pries / Buch Hardcover
common.buy 181.09 €
Law at War Ammunition United States. Department of the Army Allocations Committee / Buch Broschur
common.buy 20.09 €
Nuclear Command and Control in NATO Shaun R. Gregory / Buch Hardcover
common.buy 97.89 €
Performing Gender Violence Barbara Ozieblo / Buch Hardcover
common.buy 33.29 €
Soul Mates Jenny Smedley / Buch Broschur
common.buy 16.29 €
Draughtsmen, Botanists and Nature: Kärin Nickelsen / Buch Hardcover
common.buy 90.79 €
Heritage, Labour and the Working Classes Laurajane Smith / Buch Broschur
common.buy 60.99 €
What We Can Never Know David Gamez / Buch Hardcover
common.buy 130.79 €
65th Conference on Glass Problems (Ceramic Engineering and Science Proceedings V26 Number 1) Drummond III / Buch Broschur
common.buy 114.39 €
Decline of the Anglo-American Middle East, 1961-1969 Tore T. Petersen / Buch Broschur
common.buy 54.39 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto