The top documents tagged [b decomposition]

The structure of_matter

---

900 views

LDK R Logics for Data and Knowledge Representation Description Logics: tableaux.

---

238 views