Promotionspreis der Otto-Friedrich-Universität Bamberg
Title
Promotionspreis der Otto-Friedrich-Universität Bamberg
Year
2015
Person
Description
Das Preisgeld wurde der Universität von der Sparkasse Bamberg zur Verfügung gestellt.
Awarded Publication
uniba/21626
Model and Proof Theory of Constructive ALC : constructive Description Logics
Scheele, Stephan M. 
Supervisor Mendler, Michael ; Ferrari, Mauro
Supervisor Mendler, Michael ; Ferrari, Mauro
Document Type Doctoralthesis
