Proof Assistants and Related Tools - The PART & PART 2 Projects 2016

  • Anders Schlichtkrull (Participant)

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

Description

Jørgen Villadsen & Anders Schlichtkrull: Computer-Checked Logical Inference Systems

Talk "Computer-Checked Logical Inference Systems" at PART
Period20 Apr 2016
Event typeWorkshop
LocationKgs. Lyngby, DenmarkShow on map