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

Lunch Talk -The TPTP World - Infrastructure for Automated Reasoning

Veranstalter: Benzmüller, Christoph

Donnerstag, 7.7.2022: 12:00 - 14:00 Uhr; WE5/05.003

Kontakt: Geisler, Cornelia
Bereich Angewandte Informatik
Telefon 0951/863-2925, E-Mail: sekretariat.aise@uni-bamberg.de

Der Termin wird im Veranstaltungskalender angezeigt.
UnivIS ist ein Produkt der Config eG, Buckenhof