AISE-Auto: Automation of First- and Higher-Order Logic (Gruppe1)

Dozent/in:

David Fuenmayor

Angaben:

Übung, 2,00 SWS

Termine:

Do, 14:00 - 16:00, WE5/05.003

AISE-Proj-B: Bachelorprojekt KI-Systementwicklung; Isabelle for the working logician

Dozentinnen/Dozenten:

David Fuenmayor, Daniel Kirchner

Angaben:

Vorlesung, 2,00 SWS

Termine:

Blockveranstaltung 20.3.2023-6.4.2023 Mo-Fr, 8:00 - 16:00, WE5/02.020

AISE-Sem-B: Isabelle for the working logician

Dozentinnen/Dozenten:

David Fuenmayor, Daniel Kirchner

Angaben:

Seminar, 2,00 SWS

Termine:

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.