Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 

Foto: Matthias Friel




 


 
weitere Informationen zu Vorlesungsverzeichnis   Vorlesungsverzeichnis    
 
  weitere Informationen zu Mathematisch-Naturwissenschaftliche Fakultät   Mathematisch-Naturwissenschaftliche Fakultät    
 
  weitere Informationen zu Institut für Informatik und Computational Science   Institut für Informatik und Computational Science    
 
  weitere Informationen zu Master of Education   Master of Education    
 
  weitere Informationen zu Informatik (Prüfungsversion ab WiSe 2013/14)   Informatik (Prüfungsversion ab WiSe 2013/14)    
 
  weitere Informationen zu Wahlpflichtmodule   Wahlpflichtmodule    
 
  weitere Informationen zu INF 8060 - Methoden des automatischen Schließens   INF 8060 - Methoden des automatischen Schließens    
 
   
Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion
552921 Naturwissenschaftlich motivierte formale Modelle   -   Dr. Bordihn Vorlesung/Übung     WiSe 2021/22 Institut für Informatik und Computational Science belegen/abmelden