欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
模板:Category
来自开放百科 - 灰狐
(版本间的差异)
第45行: | 第45行: | ||
|[[File:Alfresco-48x48.gif|center]] | |[[File:Alfresco-48x48.gif|center]] | ||
− | |style="font-size:95%;border-top:1px dashed #AAAAAA"|'''[[CMS_and_PortalCMS、Portal | + | |style="font-size:95%;border-top:1px dashed #AAAAAA"|'''[[CMS_and_PortalCMS、Portal]]<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:性學|性學]] | ||
<!----------------------------------------------> | <!----------------------------------------------> |
2010年9月1日 (三) 09:26的版本
</div> </div>
分享您的观点