来自阿格达维基
AIMXIV:程序等
AIM XIV NII Shonan研讨会主页:
http://www.nii.ac.jp/shonan/seminar008/
初始时间表
请与会者留下他们对会议的评论和印象
在这里
.
欢迎和介绍
代码SprintDiscussion
信息。
周末
周六出游
目的xiv。
公告等
目的xiv。
图片
,
更多图片
检索自
https://wiki.portal.chalmers.se/agda/AIMXIV/ProgramEtc网站
页面上次修改时间:2011年9月15日11:59 pm