21st International Workshop on Description Logics (DL 2008)

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
21st International Workshop on Description Logics (DL 2008)
 
Publisher Herausgeber
CEUR Workshop Proceedings
 
Place of publishing Erscheinungsort
353
 
Series Schriftenreihe
CEUR Workshop Proceedings
 

Publications Publikationen


Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Keller, Uwe ; Heymans, Stijn The SAT-Tableau CalculusKonferenzbeitrag Inproceedings 2008