Recent Topics in Exact Real Arithmetic

主讲人: 
Norbert Muller(Computer Science Department, Trier Uiniversity)
活动时间: 
星期三, 十月 13, 2010 - 09:00 to 10:00
活动地址: 
逻辑与认知研究所313