Seminar
Speaker: | M. Rougemont (LRI (Paris)) |
---|---|
Title: | Interactive proofs on the reals |
Date: | Friday, 06 Nov 1998 |
Time: | 18:00-19:00 |
mpla.math.uoa.gr |
|
Speaker: | M. Rougemont (LRI (Paris)) |
---|---|
Title: | Interactive proofs on the reals |
Date: | Friday, 06 Nov 1998 |
Time: | 18:00-19:00 |
Comments