DBLP:conf/ijcai/HustadtS99 + redirect page
On the Relation of Resolution and Tableaux Proof Systems for Description Logics + Has identifier
| On the Relation of Resolution and Tableaux Proof Systems for Description Logics |
Has publishing details
pp. 110-117, 1999
Has title
On the Relation of Resolution and Tableaux Proof Systems for Description Logics
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai99.html#HustadtS99
Has where published
IJCAI
Has year
1999
Has author
Ullrich Hustadt +, Renate A. Schmidt +
Has identifier
On the Relation of Resolution and Tableaux Proof Systems for Description Logics +
Categories Proceeding Paper +
|
