Now showing 1 - 1 of 1
Document Type Doctoralthesis

Model and Proof Theory of Constructive ALC : constructive Description Logics


, ,
Ferrari, Mauro
(2015)

Permalink https://fis.uni-bamberg.de/handle/uniba/61564