Automated Reasoning

Talk
November 7, 2007
English for Academic Purposes, University of Oslo