|
AISE-Proj-B: Bachelorprojekt KI-Systementwicklung; Isabelle for the working logician
- Dozentinnen/Dozenten
- David Fuenmayor, Daniel Kirchner
- Angaben
- Vorlesung
Rein Präsenz 2,00 SWS, Unterrichtssprache Deutsch
Zeit und Ort: Blockveranstaltung 20.3.2023-6.4.2023 Mo-Fr 8:00 - 16:00, WE5/02.020
- Englischsprachige Informationen:
- Title:
- AISE-Proj-B: Bachelorprojekt KI-Systementwicklung; 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 |
|
|