Tutorial on (Computational) Metaphysics and IntensionalityVeranstalter: Prof. Dr. Christoph Benzmüller Dienstag, 31.5.2022: 14:00 - 18:00 Uhr; WE5/01.006Using Isabelle/HOL in Computational Metaphysics (by Daniel Kirchner, Edward N. Zalta, Christoph Benzmüller)
Kontakt: | Benzmüller, Christoph Bereich Angewandte Informatik Telefon 0951 863-2942, E-Mail: christoph.benzmueller@uni-bamberg.de |
Der Termin wird im Veranstaltungskalender angezeigt. |