Logo des Repositoriums
 
Textdokument

Wie findet man die verantwortlichen Axiome? Axiom-Pinpointing in Beschreibungslogiken

Vorschaubild

Volltext URI

Dokumententyp

Zusatzinformation

Datum

2010

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik

Zusammenfassung

Beschreibung

Peñaloza Nyssen, Rafael (2010): Wie findet man die verantwortlichen Axiome? Axiom-Pinpointing in Beschreibungslogiken. Ausgezeichnete Informatikdissertationen 2009. Bonn: Gesellschaft für Informatik. PISSN: 1617-5468. ISBN: 978-3-88579-414-2. pp. 181-190

Schlagwörter

Zitierform

DOI

Tags