Skip to main content
Introductory level course at ESSLLI 2013
School of Computing, Engineering & Maths
Centre for Secure, Intelligent and Usable Systems
External talk or presentation
Title: Why diagrammatic proofs are sometimes worth 1000 formulae: an Introduction to Formal Diagrammatic Reasoning Systems.
European Summer School in Logic, Language and Information 2013
Degree of Recognition