Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Proof Theory for Description Logics

Name: Proof Theory for Description Logics
Brand: Springer London Ltd
SKU: 01425944
Price: 59.99 EUR
Availability: InStock
Author: Alexandre Rademaker
ISBN: 9781447140016

Alexandre Rademaker

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 01425944

147 b

59.99 € inkl. MwSt.

Beim Verlag auf Bestellung Wir versenden in 17-27 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Les Fievres d'Acces Dans La Vallee de Lutzelbourg Meurthe Schwing-N-P

Broschur

13.19 €

Tonio et son ami magique Meilliez

Broschur

17.09 €

Súvislosti Pavol Stanislav

Broschur

3.79 €

UVA ALIMENTOS SANOS VALPIANA

Buch

7.09 €

Návrat Krále Šumavy Žák David Jan

Audio CD

13.89 €

Les Chamanes de la préhistoire ((Réédition)) Jean Clottes

Broschur

12.09 €

Peter Tutt: Zustande In Amerika (1862) Adelbert Baudissin

Broschur

31.79 €

Lucky Luke - Western Circus René Goscinny

Hardcover

15.00 €

Solo Vonda Shepard

Audio CD

23.89 €

True Love Kai-Uwe Freudenberger

Broschur

7.90 €

Elora im Tal der Elfen Renate Schweitzer

Broschur

11.99 €

Das Glucksmilieu oder die Illusion des ICH Pepe Holzer

Hardcover

21.79 €

Manipulacion del Producto Pesquero a Bordo de Las Embarcaciones Fabián Chavarría Solera

Broschur

36.49 €

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

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