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 >> De Paiva, V. ; Gore, R. ; Mendler, Michael (Hrsg.): Modalities in Constructive Modal Logics and Type Theories . Oxford : Oxford University Press, 2004 (Special Issue of Journal of Logic and Computation Bd. to appear) UnivIS ist ein Produkt der Config eG, Buckenhof