Invited mini-course on hybrid logic

Braüner, T. (Oplægsholder)

Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

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