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

Sie sind hier: Startseite

Automatisierte Logik und Programmierung II: Beweisautomatisierung und Programmsynthese - Einzelansicht

Veranstaltungsart Vorlesung/Übung Veranstaltungsnummer
SWS Semester WiSe 2023/24
Einrichtung Institut für Informatik und Computational Science   Sprache deutsch
Belegungsfrist 02.10.2023 - 10.11.2023

Belegung über PULS
Gruppe 1:
     jetzt belegen / abmelden
    Tag Zeit Rhythmus Dauer Raum Lehrperson Ausfall-/Ausweichtermine Max. Teilnehmer/-innen
Vorlesung -  bis  Block am   Prof. Dr. Kreitz  
  Bemerkung: Raum und Zeit nach Absprache
Vorlesung/Übung -  bis  Block am   Prof. Dr. Kreitz  
  Bemerkung: Raum und Zeit nach Absprache
Kommentar

Belegung nur nach vorheriger Rücksprache mit dem Dozierenden. 

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

© Copyright HIS
Hochschul-Informations-System eG