Introductory lecture on hybrid logic

Braüner, T. (Lecturer)

Activity: Talk or presentationLecture and oral contribution

Period6 Aug 2007 - 10 Aug 2007
Event typeWorkshop
LocationDublin, Ireland