AISE-Auto: Automation of First- and Higher-Order Logic (Gruppe1)
Ü; Rein Präsenz; 2,00 SWS; Do, 14:00 - 16:00, WE5/05.003
|
Fuenmayor, D.
|
AISE-Proj-B: Bachelorprojekt KI-Systementwicklung; Isabelle for the working logician
V; Rein Präsenz; 2,00 SWS; Blockveranstaltung 20.3.2023-6.4.2023 Mo-Fr, 8:00 - 16:00, WE5/02.020
|
Fuenmayor, D.
Kirchner, D.
|
AISE-Sem-B: Isabelle for the working logician
S; Rein Präsenz; 2,00 SWS; Blockveranstaltung 20.4.2023-22.4.2023 Do, Fr, Sa, 10:00 - 18:00, Raum n.V.; Die Veranstaltung findet im Sitzungsraum WE5/01.047 statt.
|
Fuenmayor, D.
Kirchner, D.
|
|
|