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

  • Anders Schlichtkrull (Participant)

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

Description

Formalization of Resolution Calculus in Isabelle

Talk "Formalization of Resolution Calculus in Isabelle" at PART
Period23 Sept 2015
Event typeWorkshop
LocationKgs. Lyngby, DenmarkShow on map