UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:       
 Lehr-
veranstaltungen
   Personen/
Einrichtungen
   Räume   Telefon &
E-Mail
 
 
 Darstellung
 
Druckansicht

 
 
 Außerdem im UnivIS
 
Vorlesungsverzeichnis

 
 
Veranstaltungskalender

 
 
Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >>
Mendler, Michael:
Timing analysis of combinational circuits in intuitionistic propositional logic .
In: Formal Methods in System Design 17 (2000), Nr. 1, S. 5-37

Institution: Professur für Grundlagen der Informatik
UnivIS ist ein Produkt der Config eG, Buckenhof