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)
Der Termin wird im Veranstaltungskalender angezeigt. |