Invited mini-course on hybrid logic

Braüner, T. (Speaker)

Activity: Talk or presentationLecture and oral contribution

Period11 Dec 201713 Dec 2017
Held atInstitute of Logic and Intelligence, Southwest University, China
Degree of RecognitionInternational