DBLP:journals/corr/cs-LO-0005012 + redirect page
Reasoning with Axioms: Theory and Pratice + Has identifier
| Reasoning with Axioms: Theory and Pratice |
Has publishing details
cs.LO/0005012, 2000
Has title
Reasoning with Axioms: Theory and Pratice
Has url
http://www.informatik.uni-trier.de/~ley/db/journals/corr/corr0005.html#cs-LO-0005012
Has where published
CoRR
Has year
2000
Has author
Ian Horrocks +, Stephan Tobies +
Has identifier
Reasoning with Axioms: Theory and Pratice +
Categories Journal Paper +
|
