Phd Bazaar 2018 DTU Compute

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

View graph of relations

Anders Schlichtkrull - Participant

IsaFoL - Isabelle Formalization of Logic - a breif overview

Speaker: Anders Schlichtkrull

Talk "IsaFoL - Isabelle Formalization of Logic - a breif overview" at Phd Bazaar 2018 DTU Compute
9 May 2018

Other

OtherPhd Bazaar 2018 DTU Compute
LocationDTU Compute - Buliding 324, Matematiktorvet
CountryDenmark
CityKgs. Lyngby
Period09/05/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: 151315060