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

Automated Reasoning