Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG
Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe  Suche: Personen Einrichtungen sonstige Einträge Lehrveranstaltungen Räume          Lehr- veranstaltungen     Personen/ Einrichtungen     Räume     Telefon & E-Mail
Darstellung   Druckansicht      Außerdem im UnivIS   Vorlesungsverzeichnis     Veranstaltungskalender	Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Fairtlough, M. ; Mendler, Michael: An intuitionistic modal logic with applications to the formal verification of hardware . In: Pacholski, L. ; Tiuryn, J. (Hrsg.) : Proceedings of the 1994 Annual Conference of the European Association for Computer Science Logic. Berlin u. a. : Springer, 1995, S. 354-368. (LNCS Bd. 933) Institution: Professur für Grundlagen der Informatik UnivIS ist ein Produkt der Config eG, Buckenhof