罗德尼·布鲁克斯

相关

• 数理逻辑数理逻辑(英:Mathematical logic)是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。数理
• 汛期汛期指河流由于流域内季节性降水、融冰、化雪，引起定时性水位上涨的时期。汛期是一年中降水量最大、最集中的时期，虽带来丰富的水资源，但容易引起洪涝灾害。世界各地汛期的起止
• 艾力·新关艾力·新关（英语：Eric Ken Shinseki，1942年11月28日－），是一名第三代日裔美籍军人，前任退伍军人事务部长，曾为第34任美国陆军参谋长，为首位晋升四星上将的亚裔美国人。出生于二战时日
• C. briggsae双桅隐杆线虫（学名：Caenorhabditis briggsae）是一种小型线虫，与常用的模式生物秀丽隐杆线虫同属于隐杆线虫属。两种线虫之间的差别很小，主要区别有雄虫尾部的形态不同，雌雄同体的
• 立方晶系立方晶系，也叫等轴晶系，它有4个三重对称轴以及3个互相垂直的4次对称轴或者3个相互垂直的二重对称轴。其中的3个互相垂直的4次对称轴或者3个相互垂直的二重对称轴是晶体结晶轴
• 本胆烷二酮本胆烷二酮（英语：Etiocholanedione，也称为5β-雄烷二酮 5β-androstanedione 或本胆烷-3,17-二酮 etiocholane-3,17-dione）是一种天然的本胆烷（5β-雄烷）类甾体物质，和一些雄激素如
• 奥克西塔尼亚奥克西塔尼亚（奥克语：Occitània，，有时作 lo País d'Òc，即“奥克之国”），是欧洲南部的一个地区，历史上以奥克语为主要语言，并且现今仍时有使用这种语言，或在多数地方作为第二语言。
• 吉田正光吉田正光（日语：吉田 正光／よしだ まさみつ ，1904年5月30日－2016年10月29日），日本超级人瑞，享寿112岁152天。继2016年1月19日世界最长寿男性小出保太郎过世以后，吉田正光继任日本在世
• 比耶鲁姆长度比耶鲁姆长度（Bjerrum length ）是衡量介质极化程度的一种方法，定义为：在介电常数为 ϵ r
• 哈雷聊天室哈雷聊天室，是一个即时通信软件，于2004年中发表。用户间可以通过互联网与其他用户传送文字、音乐、动画、等讯息。使用者须先下载安装档后，方可与其他用户进行交谈；其运行环境为