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

Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme - Einzelansicht

  • Funktionen:
Veranstaltungsart Vorlesung/Übung Veranstaltungsnummer 552121
SWS 4 Semester SoSe 2023
Einrichtung Institut für Informatik und Computational Science   Sprache deutsch
Belegungsfrist
Gruppe 1:
      
    Tag Zeit Rhythmus Dauer Raum Lehrperson Ausfall-/Ausweichtermine Max. Teilnehmer/-innen
Vorlesung/Übung Mo  bis  wöchentlich am   Prof. Dr. Kreitz fällt aus
Vorlesung/Übung Mo  bis  wöchentlich am   Prof. Dr. Kreitz fällt aus

Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2023 , Aktuelles Semester: WiSe 2024/25