Tutorial on (Computational) Metaphysics and Intensionality

Veranstalter: Prof. Dr. Christoph Benzmüller

Using 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.