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