欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Backrub
来自开放百科 - 灰狐
（版本间的差异）
| 第6行： | 第6行： | ||
他们的LOGO是拉里.佩奇（Larry Page）的手扫描得来的 | 他们的LOGO是拉里.佩奇（Larry Page）的手扫描得来的 | ||
| + | |||
| + | [[category:Google]] | ||
2006年7月24日 (一) 21:29的最后版本
Backrub（Google当时的名字）
当初在Google没有成立之前,他们的搜索引擎托放在斯坦福大学的服务器上,而当时它叫做BakcRub.
他们的LOGO是拉里.佩奇（Larry Page）的手扫描得来的
分享您的观点
