Comparing $$\mathrm{ SC} _{\mathcal{ ALC} }$$ with Other $$\mathcal{ ALC} $$ Deduction Systems Chapter uri icon

publication date

  • January 1, 2012