Skip to main navigation
Skip to search
Skip to main content
The University of Brighton Home
Home
Profiles
Research units
Equipment
Projects
Research output
Activities
Student theses
Search by expertise, name or affiliation
Introductory level course at ESSLLI 2013
Andrew Fish (Presenter)
Activity
:
External talk or presentation
›
Invited talk
Description
Title: Why diagrammatic proofs are sometimes worth 1000 formulae: an Introduction to Formal Diagrammatic Reasoning Systems.
Period
Jul 2013
Event title
European Summer School in Logic, Language and Information 2013
Event type
Course
Location
Dusseldorf, Germany
Show on map
Degree of Recognition
International
X