skip to content

In Pursuit of the Missing Premise in First Order Logic

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