欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
模板:Category
来自开放百科 - 灰狐
(版本间的差异)
第2行: | 第2行: | ||
|width="50%" valign="top"| | |width="50%" valign="top"| | ||
{|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|center]] | + | |[[File:Google-app-engine-48x48.gif|48px|center]] |
|style="font-size:95%"|'''[[:Category:Free_software_operating_systems|操作系统]]、[[:Category:艺术|艺术]]与[[:Category:文化|文化]]'''<br /> | |style="font-size:95%"|'''[[:Category:Free_software_operating_systems|操作系统]]、[[:Category:艺术|艺术]]与[[:Category:文化|文化]]'''<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:51的版本
</div> </div>
分享您的观点