Invited mini-course on hybrid logic

Braüner, T. (Speaker)

Activity: Talk or presentationLecture and oral contribution

Period11 Dec 201713 Dec 2017
Held at Southwest University, China
Degree of RecognitionInternational