Logo des Repositoriums
 
Textdokument

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

Vorschaubild

Volltext URI

Dokumententyp

Dateien

181.pdf (219.39 KB)

Zusatzinformation

Datum

2010

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Ausgezeichnete Informatikdissertationen 2009

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

Sammlungen

D10 (2009) - Ausgezeichnete Informatikdissertationen