Pages that link to "Item:Q4917077"

The following pages link to Constructive Description Logics Hybrid-Style (Q4917077):

Displaying 2 items.

• Bridges from Language to Logic: Concepts, Contexts and Ontologies (Q5179013) (← links)
• Non-distributive description logic (Q6541145) (← links)