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

Schlichtkrull, A. (Participant)

Activity: Attending an eventParticipating 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, Denmark