Lunch Talk -The TPTP World - Infrastructure for Automated ReasoningVeranstalter: Benzmüller, Christoph Donnerstag, 7.7.2022: 12:00 - 14:00 Uhr; WE5/05.003Kontakt: | Geisler, Cornelia Bereich Angewandte Informatik Telefon 0951/863-2925, E-Mail: sekretariat.aise@uni-bamberg.de |
Der Termin wird im Veranstaltungskalender angezeigt. |