Agenda
17 maart 2010
RU Groningen |
Johann Bernoulli Colloquium
Freek Wiedijk (Nijmegen)
Why most proofs eventually will be computer checked,
and why this time has not arrived yet
Room/time: 5161.0267 (Bernoulliborg), 16.15 hrs.
Geplaatst door: Minnie Middelberg
|
Home
-- Terug naar het agenda-overzicht
