Towards Constructive DL for Abstraction and Refinement
Mendler, Michael; Scheele, Stephan (2008): Towards Constructive DL for Abstraction and Refinement, in: Proceedings of the 21th ... ; (DL 2008), Dresden, May 13 - 16, 2008, S. 1–11.
Faculty
Author:
 ; 
Title of the compilation:
Proceedings of the 21th ... ; (DL 2008), Dresden, May 13 - 16, 2008
Conference:
21th International Workshop on Description Logic, 2008 ; Dresden
Year of publication:
2008
Pages:
Language:
English
URL:
Type:
Conferenceobject
URI:
Activation date:
September 24, 2014

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/18094