DRAGO
From MaRDI portal
Software:26926
No author found.
Related Items (2)
Towards resolution-based reasoning for connected logics ⋮ Composing Modular Ontologies with Distributed Description Logics
This page was built for software: DRAGO