欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
首页
来自开放百科 - 灰狐
(版本间的差异)
第301行: | 第301行: | ||
</table> | </table> | ||
− | 特别链接:[[Image: | + | 特别链接:[[Image: 11.gif]] [http://www.cnic.org/wiki/Cwc:%E9%A6%96%E5%B1%8A%E4%B8%AD%E6%96%87%E7%BB%B4%E5%AE%A2%E5%B9%B4%E4%BC%9A 欢迎关注中文维客年会] |
首届中文维客年会将于2006年8月12日在上海图书馆举行 | 首届中文维客年会将于2006年8月12日在上海图书馆举行 |
2006年7月15日 (六) 10:17的版本
您好, 欢迎来到 灰狐维客-你的知识库,让我们一同参与共同打造属于自己的知识库,现在就开始协作与分享 :)
|
|
特别链接:文件:11.gif 欢迎关注中文维客年会 首届中文维客年会将于2006年8月12日在上海图书馆举行
分享您的观点