-
09-17
2007
2007理论计算机科学明日之星中国论坛(2007年09月17日-21日)
-
09-17
2007
首届“明日之星理论计算机科学中国论坛”在我校举行
-
09-17
2007
首届“明日之星理论计算机科学中国论坛”在我校举行
-
09-14
2007
Text-Compression using the Burrows-Wheeler Transform
演讲人： Elad Verbin ITCS, Tsinghua University 时间： 2007-09-14 14:40-2007-09-14 16:40 地点：FIT Building 4-603, Tsinghua University 课件下载：点击下载 内容： In 1994, Burrows and Wheeler introduced...
-
09-14
2007
Grand Challenges in Proof Complexity
演讲人： Alexander Razborov Steklov Mathematical Institute, Russian Academy of Science, Russia 时间： 2007-09-14 13:00-2007-09-14 14:30 地点：FIT Building 4-603, Tsinghua University 内容： These lect...
-
09-13
2007
Grand Challenges in Proof Complexity
演讲人： Alexander Razborov Steklov Mathematical Institute, Russian Academy of Science, Russia 时间： 2007-09-13 15:00-2007-09-13 16:30 地点：FIT Building 4-603, Tsinghua University 内容： These lect...