Agda Wiki
变化
·
(集团)
·
查看
编辑
历史
打印
AIMXIV公司
/
\
AIMXIV公司
公告等
(2011/6/29)AIM XIV参与登记将在一周内结束。
还有四五个参与者的空间。
如果您收到邀请信并打算参加,请立即注册。
如果您没有收到邀请,请按照以下指示致函主办方。
(Y.K.)
(2011/4/28)AIM XIV将以邀请为基础。
然而,我们准备邀请任何希望参与并以积极方式作出贡献的人。
请看下面的幻灯片,了解如何被邀请。
(Y.K.)
关于AIM XIV的信息
阿格达
主要
下载
发行说明
入门
用户手册
教程
图书馆
如何
出版物
社区
Agda会议
报告Bug
最近的更改
PmWiki帮助
编辑提要栏
编辑
|
历史
|
最近的更改
(全部)
|
搜索
页面上次修改时间:2011年9月12日上午04:26
技术支持
私人维基