Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG
Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe  Suche: Personen Einrichtungen sonstige Einträge Lehrveranstaltungen Räume
Darstellung   Druckansicht      Außerdem im UnivIS   Vorlesungsverzeichnis     Veranstaltungskalender	Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Bereich Informatik >> Professur für Grundlagen der Informatik >> 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. UnivIS ist ein Produkt der Config eG, Buckenhof