Introductory level course at ESSLLI 2013

Fish, A. (Presenter)

Activity: External talk or presentationInvited talk

Description

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, Germany
Degree of RecognitionInternational