Pages that link to "Item:Q3533154"
From MaRDI portal
The following pages link to Automated Reasoning About Metric and Topology (Q3533154):
Displayed 3 items.
- $\textsc{Met\hspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine (Q3010372) (← links)
- CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity (Q3185758) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)