欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
首页
| 第16行： | 第16行： | ||
</tr> | </tr> | ||
</table> | </table> | ||
| + | |||
| + | <table cellspacing="4" cellpadding="4"><tr><td valign=top> | ||
| + | |||
| + | <b><a href="/Arts/">Arts</a></b><br> | ||
| + | <small> | ||
| + | <a href="/Arts/Movies/">Movies</a>, | ||
| + | <a href="/Arts/Television/">Television</a>, | ||
| + | <a href="/Arts/Music/">Music</a>... | ||
| + | </small> | ||
| + | |||
| + | </td><td valign=top> | ||
| + | <b><a href="/Business/">Business</a></b><br> | ||
| + | <small> | ||
| + | <a href="/Business/Employment/">Jobs</a>, | ||
| + | |||
| + | <a href="/Business/Real_Estate/">Real Estate</a>, | ||
| + | <a href="/Business/Investing/">Investing</a>... | ||
| + | </small> | ||
| + | |||
| + | </td><td valign=top> | ||
| + | <b><a href="/Computers/">Computers</a></b><br> | ||
| + | <small> | ||
| + | <a href="/Computers/Internet/">Internet</a>, | ||
| + | <a href="/Computers/Software/">Software</a>, | ||
| + | <a href="/Computers/Hardware/">Hardware</a>... | ||
| + | </small> | ||
| + | |||
| + | </td></tr><tr><td valign=top> | ||
| + | <b><a href="/Games/">Games</a></b><br> | ||
| + | <small> | ||
| + | <a href="/Games/Video_Games/">Video Games</a>, | ||
| + | <a href="/Games/Roleplaying/">RPGs</a>, | ||
| + | <a href="/Games/Gambling/">Gambling</a>... | ||
| + | </small> | ||
| + | |||
| + | </td><td valign=top> | ||
| + | <b><a href="/Health/">Health</a></b><br> | ||
| + | <small> | ||
| + | |||
| + | <a href="/Health/Fitness/">Fitness</a>, | ||
| + | <a href="/Health/Medicine/">Medicine</a>, | ||
| + | <a href="/Health/Alternative/">Alternative</a>... | ||
| + | </small> | ||
| + | |||
| + | </td><td valign=top> | ||
| + | <b><a href="/Home/">Home</a></b><br> | ||
| + | <small> | ||
| + | <a href="/Home/Family/">Family</a>, | ||
| + | <a href="/Home/Consumer_Information/">Consumers</a>, | ||
| + | <a href="/Home/Cooking/">Cooking</a>... | ||
| + | |||
| + | </small> | ||
| + | |||
| + | </td></tr><tr><td valign=top> | ||
| + | <b><a href="/Kids_and_Teens/"><font color="#ff0000">K</font><font color="339900">i</font><font color="#ff6600">d</font><font color="#0066ff">s</font> and Teens</a></b><br> | ||
| + | <small> | ||
| + | <a href="/Kids_and_Teens/Arts/">Arts</a>, | ||
| + | <a href="/Kids_and_Teens/School_Time/">School Time</a>, | ||
| + | <a href="/Kids_and_Teens/Teen_Life/">Teen Life</a>... | ||
| + | |||
| + | </small> | ||
| + | |||
| + | </td><td valign=top> | ||
| + | <b><a href="/News/">News</a></b><br> | ||
| + | <small> | ||
| + | <a href="/News/Media/">Media</a>, | ||
| + | <a href="/News/Newspapers/">Newspapers</a>, | ||
| + | <a href="/News/Weather/">Weather</a>... | ||
| + | </small> | ||
| + | |||
| + | </td><td valign=top> | ||
| + | <b><a href="/Recreation/">Recreation</a></b><br> | ||
| + | |||
| + | <small> | ||
| + | <a href="/Recreation/Travel/">Travel</a>, | ||
| + | <a href="/Recreation/Food/">Food</a>, | ||
| + | <a href="/Recreation/Outdoors/">Outdoors</a>, | ||
| + | <a href="/Recreation/Humor/">Humor</a>... | ||
| + | </small> | ||
| + | |||
| + | </td></tr><tr><td valign=top> | ||
| + | <b><a href="/Reference/">Reference</a></b><br> | ||
| + | <small> | ||
| + | <a href="/Reference/Maps/">Maps</a>, | ||
| + | |||
| + | <a href="/Reference/Education/">Education</a>, | ||
| + | <a href="/Reference/Libraries/">Libraries</a>... | ||
| + | </small> | ||
| + | |||
| + | </td><td valign=top> | ||
| + | <b><a href="/Regional/">Regional</a></b><br> | ||
| + | <small> | ||
| + | <a href="/Regional/North_America/United_States/">US</a>, | ||
| + | <a href="/Regional/North_America/Canada/">Canada</a>, | ||
| + | <a href="/Regional/Europe/United_Kingdom/">UK</a>, | ||
| + | <a href="/Regional/Europe/">Europe</a>... | ||
| + | |||
| + | </small> | ||
| + | |||
| + | </td><td valign=top> | ||
| + | <b><a href="/Science/">Science</a></b><br> | ||
| + | <small> | ||
| + | <a href="/Science/Biology/">Biology</a>, | ||
| + | <a href="/Science/Social_Sciences/Psychology/">Psychology</a>, | ||
| + | <a href="/Science/Physics/">Physics</a>... | ||
| + | </small> | ||
| + | |||
| + | </td></tr><tr><td valign=top> | ||
| + | <b><a href="/Shopping/">Shopping</a></b><br> | ||
| + | |||
| + | <small> | ||
| + | <a href="/Shopping/Vehicles/Autos/">Autos</a>, | ||
| + | <a href="/Shopping/Clothing/">Clothing</a>, | ||
| + | <a href="/Shopping/Gifts/">Gifts</a>... | ||
| + | </small> | ||
| + | |||
| + | </td><td valign=top> | ||
| + | <b><a href="/Society/">Society</a></b><br> | ||
| + | <small> | ||
| + | <a href="/Society/People/">People</a>, | ||
| + | <a href="/Society/Religion_and_Spirituality/">Religion</a>, | ||
| + | |||
| + | <a href="/Society/Issues/">Issues</a>... | ||
| + | </small> | ||
| + | |||
| + | </td><td valign=top> | ||
| + | <b><a href="/Sports/">Sports</a></b><br> | ||
| + | <small> | ||
| + | <a href="/Sports/Baseball/">Baseball</a>, | ||
| + | <a href="/Sports/Soccer/">Soccer</a>, | ||
| + | <a href="/Sports/Basketball/">Basketball</a>... | ||
| + | </small> | ||
| + | |||
| + | </td></tr> | ||
| + | |||
| + | <tr><td colspan=3 valign=top> | ||
| + | <b><a href="/World/">World</a></b><br> | ||
| + | <small> | ||
| + | <a href="/World/Deutsch/">Deutsch</a>, | ||
| + | <a href="/World/Espa%c3%b1ol/">Español</a>, | ||
| + | <a href="/World/Fran%c3%a7ais/">Français</a>, | ||
| + | <a href="/World/Italiano/">Italiano</a>, | ||
| + | <a href="/World/Japanese/">Japanese</a>, | ||
| + | <a href="/World/Nederlands/">Nederlands</a>, | ||
| + | |||
| + | <a href="/World/Polska/">Polska</a>, | ||
| + | <a href="/World/Dansk/">Dansk</a>, | ||
| + | <a href="/World/Svenska/">Svenska</a>... | ||
| + | </small> | ||
| + | |||
| + | </td></tr></table> | ||
2006年7月13日 (四) 11:18的版本
|
您好, 欢迎来到 灰狐维客-你的知识库，让我们一同参与共同打造属于自己的知识库,现在就开始交流与分享 :) |
|
Huihoo首页 | Huihoo论坛 | Huihoo博客 | Huihoo网址大全 | Huihoo相册 |
|
欢迎大家 参与编辑 - 参与维护 - 参与讨论 - 参与整理 - 参与管理 |
|
<a href="/Arts/">Arts</a> |
<a href="/Business/">Business</a> <a href="/Business/Real_Estate/">Real Estate</a>, <a href="/Business/Investing/">Investing</a>... |
<a href="/Computers/">Computers</a> |
|
<a href="/Games/">Games</a> |
<a href="/Health/">Health</a> <a href="/Health/Fitness/">Fitness</a>, <a href="/Health/Medicine/">Medicine</a>, <a href="/Health/Alternative/">Alternative</a>... |
<a href="/Home/">Home</a>
|
|
<a href="/Kids_and_Teens/">Kids and Teens</a>
|
<a href="/News/">News</a> |
<a href="/Recreation/">Recreation</a> <a href="/Recreation/Travel/">Travel</a>, <a href="/Recreation/Food/">Food</a>, <a href="/Recreation/Outdoors/">Outdoors</a>, <a href="/Recreation/Humor/">Humor</a>... |
|
<a href="/Reference/">Reference</a> <a href="/Reference/Education/">Education</a>, <a href="/Reference/Libraries/">Libraries</a>... |
<a href="/Regional/">Regional</a>
|
<a href="/Science/">Science</a> |
|
<a href="/Shopping/">Shopping</a> <a href="/Shopping/Vehicles/Autos/">Autos</a>, <a href="/Shopping/Clothing/">Clothing</a>, <a href="/Shopping/Gifts/">Gifts</a>... |
<a href="/Society/">Society</a> <a href="/Society/Issues/">Issues</a>... |
<a href="/Sports/">Sports</a> |
|
<a href="/World/">World</a> <a href="/World/Polska/">Polska</a>, <a href="/World/Dansk/">Dansk</a>, <a href="/World/Svenska/">Svenska</a>... | ||
