Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
Mendler, Michael ; V. De Paiva
:
Constructive CK for Contexts .
In:
Serafini, L. ; Bouquet, P.
(Hrsg.) :
Vol. 136 of CEUR Workshop Proceedings
(CRR-2005,, Paris,, July 2005).
2005.
Institution:
Professur für Grundlagen der Informatik
UnivIS ist ein Produkt der Config eG, Buckenhof