欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
模板:Category
来自开放百科 - 灰狐
(版本间的差异)
第32行: | 第32行: | ||
<!----------------------------------------------> | <!----------------------------------------------> | ||
− | |[[File: | + | |[[File:Linux-48x48.png|48px|center]] |
|style="font-size:95%;border-top:1px dashed #AAAAAA"|'''[[参考目录列表|常用列表]]'''<br /> | |style="font-size:95%;border-top:1px dashed #AAAAAA"|'''[[参考目录列表|常用列表]]'''<br /> | ||
[[人名表|人名列表]] - [[历史年表]] - [[历法列表|历法列表]] - [[化学品列表]] - [[生物分類總表]] - [[药物列表]] - [[参考目录列表#计算机|電腦相關列表]] - [[公司列表]] - [[世界体育竞赛列表]] - [[領袖列表]] - [[国旗列表]] - [[政党列表]] - [[国际组织列表]] - [[世界民族列表]] - [[世界遗产#统计|世界遺產列表]] - [[山脈列表]] - [[中国年号列表]] - [[中华人民共和国县级以上行政区列表]] - [[世界地理索引]] - [[世界城市索引]] - [[语言列表]] | [[人名表|人名列表]] - [[历史年表]] - [[历法列表|历法列表]] - [[化学品列表]] - [[生物分類總表]] - [[药物列表]] - [[参考目录列表#计算机|電腦相關列表]] - [[公司列表]] - [[世界体育竞赛列表]] - [[領袖列表]] - [[国旗列表]] - [[政党列表]] - [[国际组织列表]] - [[世界民族列表]] - [[世界遗产#统计|世界遺產列表]] - [[山脈列表]] - [[中国年号列表]] - [[中华人民共和国县级以上行政区列表]] - [[世界地理索引]] - [[世界城市索引]] - [[语言列表]] |
2010年8月29日 (日) 09:58的版本
</div> </div>
分享您的观点