Kiel Declarative Programming Days 2013
Book title Buchtitel
Kiel Declarative Programming Days 2013
Editor Herausgeber_in
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Berger, Gerald ; Tompits, Hans ; Hanus, Michael ; Rocha, Ricardo | On Axiomatic Rejection for the Description Logic ALC | Konferenzbeitrag Inproceedings  | 2013 |