skip to content
 

In Pursuit of the Missing Premise in First Order Logic

Presented by: 
O Akcelik Middle East Technical University
Date: 
Tuesday 1st September 2015 - 14:00 to 15:00
Venue: 
INI Seminar Room 1
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons