DBLP:tr/tu-berlin.de/Suska94 + redirect page
A Proof Theory for Preferential Default Description Logics + Has identifier
| A Proof Theory for Preferential Default Description Logics |
Has publishing details
, Berlin, Germany, Germany, 1994
Has title
A Proof Theory for Preferential Default Description Logics
Has where published
Technical Report,
Has year
1994
Has author
Sven Suska +
Has identifier
A Proof Theory for Preferential Default Description Logics +
Categories Technical Report +
|
