|
AISE-Auto: Automation of First- and Higher-Order Logic (Gruppe1)
- Dozent/in
- David Fuenmayor
- Angaben
- Übung
Rein Präsenz 2,00 SWS, Unterrichtssprache Deutsch
Zeit und Ort: Do 14:00 - 16:00, WE5/05.003
- Englischsprachige Informationen:
- Title:
- AISE-Auto: Automation of First- and Higher-Order Logic (Group 1)
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 10
- 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 |
|
|