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

Veranstaltungsart	Vorlesung/Übung	Veranstaltungsnummer	552121
SWS	4	Semester	SoSe 2023
Einrichtung	Institut für Informatik und Computational Science	Sprache	deutsch
Belegungsfrist

Gruppe 1:

Vormerken:

		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: SoSe 2024