Local Isabelle Workshop

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

View graph of relations

Anders Schlichtkrull - Participant

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
6 Jun 2018

Conference

ConferenceLocal Isabelle Workshop
LocationDTU building 303B room 034
CountryDenmark
CityKgs. Lyngby
Period06/06/2018 → …
Internet address
Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word

ID: 151315115