DBLP:conf/tableaux/HorrocksP98 + redirect page
FaCT and DLP + Has identifier
| FaCT and DLP |
Has publishing details
pp. 27-30, 1998
Has title
FaCT and DLP
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/tableaux/tableaux98.html#HorrocksP98
Has where published
TABLEAUX
Has year
1998
Has author
Ian Horrocks +, Peter F. Patel-Schneider +
Has identifier
FaCT and DLP +
Categories Proceeding Paper +
|
