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.
    PeriodJul 2013
    Event titleEuropean Summer School in Logic, Language and Information 2013
    Event typeCourse
    LocationDusseldorf, GermanyShow on map
    Degree of RecognitionInternational