Local Isabelle Workshop

Schlichtkrull, A. (Participant)

Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

Description

Drawing Trees

Speaker: Anders Schlichtkrull (joint work with Andreas Halkjær From and Jørgen Villadsen)

Talk "Drawing Trees" at the Local Isabelle Workshop at DTU
Period6 Jun 2018
Event typeConference
LocationKgs. Lyngby, Denmark