DBLP:conf/tableaux/Horrocks98 + redirect page
The FaCT System + Has identifier
| The FaCT System |
Has publishing details
pp. 307-312, 1998
Has title
The FaCT System
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/tableaux/tableaux98.html#Horrocks98
Has where published
TABLEAUX
Has year
1998
Has author
Ian Horrocks +
Has identifier
The FaCT System +
Categories Proceeding Paper +
|
