Phd Bazaar 2018 DTU Compute

  • Anders Schlichtkrull (Participant)

Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.

Description

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
Period9 May 2018
Event typeConference
LocationKgs. Lyngby, DenmarkShow on map