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 >> Fairtlough, M. ; Mendler, Michael ; Cheng, X.: Abstraction and refinement in higher-order logic . In: Boulton, R. J. ; Jackson, P. B. (Hrsg.) : International Conference on Theorem Proving in Higher-order Logic (TPHOLs`2001, Edinburgh, September 2001). 2001, S. 201-216. (LNCS Bd. 2152) UnivIS ist ein Produkt der Config eG, Buckenhof