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