欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
模板:Category
来自开放百科 - 灰狐
(版本间的差异)
第9行: | 第9行: | ||
|- | |- | ||
<!----------------------------------------------> | <!----------------------------------------------> | ||
− | |[[File: | + | |[[File:WireframeSketcher-48x48.gif|40px|center]] |
− | |style="font-size:95%;border-top:1px dashed #AAAAAA"|'''[[ | + | |style="font-size:95%;border-top:1px dashed #AAAAAA"|'''[[Language]]'''<br /> |
[[:Category:中国历史|中國歷史]] - [[:Category:中国神话|中國神話]] - [[:Category:中国音乐|中國音樂]] - | [[:Category:中国历史|中國歷史]] - [[:Category:中国神话|中國神話]] - [[:Category:中国音乐|中國音樂]] - | ||
[[:Category:中国戏剧|戏曲曲艺]] - [[:Category:中華民俗|中華民俗]] - | [[:Category:中国戏剧|戏曲曲艺]] - [[:Category:中華民俗|中華民俗]] - |
2010年9月1日 (三) 07:45的版本
</div> </div>
分享您的观点