Advanced level course at ESSLLI 2017

Activity: External talk or presentationOral presentation

Description

Course title: Caught in the Spiders Diagrammatic Reasoning Web The Euler/Spider Diagram Family of Formal Reasoning Systems.
PeriodJul 2017 → …
Event titleEuropean Summer School in Logic, Language and Information
Event typeCourse