Invited mini-course on hybrid logic

Braüner, T. (Oplægsholder)

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Periode11 dec. 2017 - 13 dec. 2017
Sted for afholdelseInstitute of Logic and Intelligence, Southwest University, Kina
Grad af anerkendelseInternational