Options
Constructive Description Logic cALC as a Type System for Semantic Streams in the Domain of Auditing
Mendler, Michael; Scheele, Stephan (2008): „Constructive Description Logic cALC as a Type System for Semantic Streams in the Domain of Auditing“. Hamburg: Bibliothek des Dep. Informatik, Univ.
Faculty/Professorship:
Author:
Title of the compilation:
Proceedings of the 1st International Workshop on Logics for Agents and Mobility 2008
Editors:
Farwer, Berndt
Corporate Body:
Universität Hamburg, Department Informatik
Conference:
1st International Workshop on Logics for Agents and Mobility 2008, LAM'08 ; Hamburg
Publisher Information:
Year of publication:
2008
Language:
English
Type:
Conferenceobject
published:
September 24, 2014
Permalink
https://fis.uni-bamberg.de/handle/uniba/18088