|
AISE-Sem-B: Isabelle for the working logician
- Dozentinnen/Dozenten
- David Fuenmayor, Daniel Kirchner
- Angaben
- Seminar
Rein Präsenz 2,00 SWS, Unterrichtssprache Deutsch
Zeit und Ort: Blockveranstaltung 20.4.2023-22.4.2023 Do, Fr, Sa 10:00 - 18:00, Raum n.V.; Bemerkung zu Zeit und Ort: Die Veranstaltung findet im Sitzungsraum WE5/01.047 statt.
- Englischsprachige Informationen:
- Title:
- AISE-Sem-B: Isabelle for the working logician
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 15
- Institution: Lehrstuhl für KI-Systementwicklung
Hinweis für Web-Redakteure: Wenn Sie auf Ihren Webseiten einen Link zu dieser Lehrveranstaltung setzen möchten, verwenden Sie bitte einen der folgenden Links:Link zur eigenständigen Verwendung Link zur Verwendung in Typo3
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|