AISE-Auto: Automation of First- and Higher-Order Logic- Dozent/in
- Prof. Dr. Christoph Benzmüller
- Angaben
- Vorlesung
Rein Präsenz
2,00 SWS, Unterrichtssprache Deutsch
Zeit und Ort: Do 10:00 - 12:00, WE5/02.020
- Englischsprachige Informationen:
- Title:
- AISE-Auto: Automation of First- and Higher-Order Logic
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 20
- 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
|
|