UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 

Vorbesprechung zur Lehrveranstaltung Blockseminar AISE: Automated Theorem Proving and the TPTP

Veranstalter: Benzmüller, Christoph

Freitag, 8.7.2022: 12:00 - 14:00 Uhr; WE5/05.003

Kontakt: Geisler, Cornelia
Lehrstuhl für Erklärbares Maschinelles Lernen
Telefon 0951/863-2925, E-Mail: sekretariat.aise@uni-bamberg.de
UnivIS ist ein Produkt der Config eG, Buckenhof