On Automated Testing of Description Logic Reasoners
ICDCIT '08 Proceedings of the 5th International Conference on Distributed Computing and Internet Technology
Spartacus: A Tableau Prover for Hybrid Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |