Vorbesprechung zur Lehrveranstaltung Blockseminar AISE: Automated Theorem Proving and the TPTPVeranstalter: Benzmüller, Christoph Freitag, 8.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 |
|