skip to content
 

Automated theorem proving in first-order logic: from superposition to instantiation

Presented by: 
Konstantin Korovin
Date: 
Thursday 27th July 2017 - 13:30 to 14:30
Venue: 
INI Seminar Room 2
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons