欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
用户贡献
- 2008年3月24日 (一) 03:18 (差异 | 历史) . . (+6,945) . . Development (http://www.shdz-bc.cn)
- 2008年3月24日 (一) 03:14 (差异 | 历史) . . (+6,911) . . Blog (→相关链接)
- 2008年3月24日 (一) 03:14 (差异 | 历史) . . (+6,996) . . Blog (http://www.didicars.cn http://www.01fly.com.cn http://www.shdz-bc.cn)
- 2008年3月24日 (一) 03:12 (差异 | 历史) . . (+5,592) . . Blog (http://www.01fly.com. cn)
- 2008年3月24日 (一) 03:10 (差异 | 历史) . . (+6,409) . . CMS and Portal (→Java)
- 2008年3月24日 (一) 03:08 (差异 | 历史) . . (+6,708) . . Programming language (→语言分类)
分享您的观点