TGC

swMATH11989MaRDI QIDQ23923FDOQ23923

Author name not available (Why is that?)

Official website: http://www.mimuw.edu.pl/~nguyen/TGC.pdf

Cited In (1)

• Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{SH}$

This page was built for software: TGC