Johann Bernoulli Stichting voor de Wiskunde te Groningen

News about the New Research Group

Current News

September 2009 Wim H. Hesselink was the teacher of the course Automated Reasoning