1
发表于 2014-03-18 09:09:54 由 jake

时间: 2004年3月23日下午2点30

地点: 蕴味咖啡

讲稿: 

下次读书会将在周六 3月23日 举行,此次由老鱼主讲:

  • 其他顺序计算模型,邱奇-图灵论题,函数式语言的可计算性;

 

其他文件: 



2012-2022 www.swarma.org, all rights reserved