假小檗

相关

• 公理语义学公理语义学（Axiomatic semantics）是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态的断言（assertion）效果。断言是逻辑语句——带变量的谓词，而这些变量
• 德岛大学德岛大学（日语：徳島大学／とくしまだいがく Tokushima daigaku；英语译名：The University of Tokushima），是一所位于德岛县的日本国立大学。1949年由德岛师范学校、德岛青年师范学校
• 介观介观物理学是物理学中一个新的分支学科。“介观（mesoscopic）”这个词汇，由Van Kampen于1981年所创，指的是介乎于微观和宏观之间的尺度。介观物理学所研究的物质尺度和纳米科技的
• 三维芯片3D IC是将多颗芯片进行三维空间垂直整合，以因应半导体制程受到电子及材料的物理极限。 半导体行业追求这个有前途的技术，在许多不同的形式，但它尚未被广泛使用，因此，定义还是有点
• 平湖秋月平湖秋月是位于中国浙江省杭州市的一个旅游观光景点，属中国5A级景区、世界遗产杭州西湖的一部分，是南宋时分布在西湖周围的十个有代表性的景点之一，为十景之首。自南宋起，平湖秋
• 安默西林阿莫西林（amoxicillin），又译安莫西林或安默西林，本名羟氨苄青霉素，是一种常用的口服性广谱β-内酰胺类抗生素，具溶菌作用，主治易感微生物所引起的细菌性感染。本品为治疗中耳炎的第
• 巴普提斯蒂娜小行星298是小行星带里一颗由奥古斯特·沙卢瓦在1890年9月9日于法国尼斯所发现的小行星。在2007年9月，美国科罗拉多州美国西南研究院的研究人员威廉·波特克（William Bottke）与
• 世界贸易组织第三次部长级会议世界贸易组织第三次部长级会议是世界贸易组织举行的国际部长级会议，在1999年11月30日至12月3日于美国西雅图举行。第三次部长级会议中，非政府组织及反全球化人士在场外发动多
• 埃莱夫塞里奥斯·韦尼泽洛斯埃莱夫塞里奥斯·基里亚科斯·韦尼泽洛斯（希腊语：Ελευθέριος Κυριάκου Βενιζέλος，希腊语发音：；1864年8月23日－1936年3月18日）是希腊现代历史上最著名的
• 大袋鼠属大袋鼠属（学名：）是有袋类双门齿目袋鼠科中的一个属，含有大约14个物种，这些物种又分别归类于3个亚属之下。大袋鼠属中包含了所有的袋鼠、岩大袋鼠和一部分沙袋鼠。