Automatisierte Logik und Programmierung II: Beweisautomatisierung und Programmsynthese - Einzelansicht

Veranstaltungsart	Vorlesung/Übung	Veranstaltungsnummer	554611
SWS		Semester	SoSe 2023
Einrichtung	Institut für Informatik und Computational Science	Sprache	deutsch
Belegungsfrist	03.04.2023 - 10.05.2023 Belegung über PULS

Gruppe 1:

Vormerken: jetzt belegen / abmelden

		Tag	Zeit	Rhythmus	Dauer	Raum	Lehrperson	Ausfall-/Ausweichtermine	Max. Teilnehmer/-innen
	Vorlesung	Mo	12:00 bis 14:00	wöchentlich	17.04.2023 bis 24.07.2023	2.70.0.09	Prof. Dr. Kreitz
	Vorlesung/Übung	Mo	14:00 bis 16:00	wöchentlich	17.04.2023 bis 24.07.2023	2.70.0.09	Prof. Dr. Kreitz

Strukturbaum

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