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 >> Wang, L., G. ; Mendler, Michael: Abstraction of hardware construction . In: Dowek, G. ; Heering, J. ; Möller, B. ; Meinke, K. (Hrsg.) : Higher-Order Algebra, Logic, and Term Rewriting. HOA'95. Bd. LNCS1074. Berlin u.a. : Springer, 1995, S. 264-287. UnivIS ist ein Produkt der Config eG, Buckenhof