UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:      Semester:   
 Lehr-
veranstaltungen		   Personen/
Einrichtungen		   Räume   Telefon &
E-Mail		 
 
 Darstellung
 
Druckansicht

  
 
Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Bereich Angewandte Informatik >> Professur für Angewandte Informatik, insbes. Kognitive Systeme >>

Tutorial on (Computational) Metaphysics and Intensionality

Veranstalter: Prof. Dr. Christoph Benzmüller

Dienstag, 31.5.2022: 14:00 - 18:00 Uhr; WE5/01.006

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.

UnivIS ist ein Produkt der Config eG, Buckenhof