欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
模板:Category
来自开放百科 - 灰狐
(版本间的差异)
第3行: | 第3行: | ||
{|width="100%" cellspacing="0" cellpadding="5" style="background-color:transparent;" | {|width="100%" cellspacing="0" cellpadding="5" style="background-color:transparent;" | ||
|[[File:Google-app-engine-48x48.gif|48px|center]] | |[[File:Google-app-engine-48x48.gif|48px|center]] | ||
− | |style="font-size:95%"|'''[[:Category: | + | |style="font-size:95%"|'''[[:Category:Operating_System|Internet]]、[[:Category:艺术|Server]]与[[:Category:文化|Monitoring]]'''<br /> |
[[:Category:收藏|收藏]] - [[:Category:飲食|飲食]] - [[:Category:服裝|服裝]] - [[:Category:交通|交通]] - [[:Category:体育|體育]] - [[:Category:娱乐|娛樂]] - [[:Category:旅游|旅遊]] - [[:Category:游戏|游戏]] - [[:Category:嗜好|嗜好]] - [[:Category:工具|工具]] - [[:Category:音乐|音乐]] - [[:Category:舞蹈|舞蹈]] - [[:Category:电影|电影]] - [[:Category:戏剧|戏剧]] - [[:Category:电视|电视]] - [[:Category:摄影|摄影]] - [[:Category:繪畫|繪畫]] - [[:Category:雕塑|雕塑]] - [[:Category:手工艺|手工艺]] - [[:Category:家庭|家庭]] - [[:Category:文明|文明]] - [[:Category:文物|文物]] - [[:Category:节日|節日]] - [[:Category:虛構|虛構]] - [[:Category:符號|符號]] - [[:Category:次文化|次文化]] - [[:Category:動畫|動畫]] - [[:Category:漫画|漫畫]] | [[:Category:收藏|收藏]] - [[:Category:飲食|飲食]] - [[:Category:服裝|服裝]] - [[:Category:交通|交通]] - [[:Category:体育|體育]] - [[:Category:娱乐|娛樂]] - [[:Category:旅游|旅遊]] - [[:Category:游戏|游戏]] - [[:Category:嗜好|嗜好]] - [[:Category:工具|工具]] - [[:Category:音乐|音乐]] - [[:Category:舞蹈|舞蹈]] - [[:Category:电影|电影]] - [[:Category:戏剧|戏剧]] - [[:Category:电视|电视]] - [[:Category:摄影|摄影]] - [[:Category:繪畫|繪畫]] - [[:Category:雕塑|雕塑]] - [[:Category:手工艺|手工艺]] - [[:Category:家庭|家庭]] - [[:Category:文明|文明]] - [[:Category:文物|文物]] - [[:Category:节日|節日]] - [[:Category:虛構|虛構]] - [[:Category:符號|符號]] - [[:Category:次文化|次文化]] - [[:Category:動畫|動畫]] - [[:Category:漫画|漫畫]] | ||
2010年8月29日 (日) 09:53的版本
</div> </div>
分享您的观点