DRAGO

swMATH15032MaRDI QIDQ26926FDOQ26926

Author name not available (Why is that?)

Cited In (2)

• Towards resolution-based reasoning for connected logics
• Composing Modular Ontologies with Distributed Description Logics

This page was built for software: DRAGO