Introductory level course at ESSLLI 2013

Activity: External talk or presentationInvited talk


Title: Why diagrammatic proofs are sometimes worth 1000 formulae: an Introduction to Formal Diagrammatic Reasoning Systems.
PeriodJul 2013
Event titleEuropean Summer School in Logic, Language and Information 2013
Event typeCourse
LocationDusseldorf, GermanyShow on map
Degree of RecognitionInternational