箭虫纲

相关

• 公理语义学公理语义学（Axiomatic semantics）是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态的断言（assertion）效果。断言是逻辑语句——带变量的谓词，而这些变量
• 非洲猪瘟非洲猪瘟病毒科（学名：Asfarviridae）是双链DNA病毒中的一个科。非洲猪瘟病毒属（Asfivirus）是本科唯一的一个属，而与本科相关的Faustovirus（英语：Faustovirus）至今仍未分类。该类病毒主
• 安·格雷比尔安·玛丁·格雷比尔（英语：Ann Martin Graybiel，1942年1月25日－），美国神经科学家，麻省理工学院大脑与认知科学系教授，同时也是麦戈文脑科研究所（英语：McGovern Institute for Brain Res
• 美国法律美国法律（law of the United States）源自美国独立战争时期的英国普通法体系，只是在最高权力条款规定下，美国宪法、国会制定的其他法律和美国参与的国际条约是国家的最高法律。这
• ASMPASMP中程空对地导弹（法语：Air-Sol Moyenne Portée，意为“中程空对地导弹”）是法国宇航为法国军队开发的一种空射超音速核子巡航导弹，属于法国核威慑力量（英语：Force de dissuasion
• 大东文化艺术中心大东文化艺术中心，位于高雄市凤山区大东国小校地，占地4.3公顷，大东国小转型为精致型迷你艺术小学。艺术中心涵盖800席多功能演艺厅和半户外剧场，共有演艺厅、展览馆、艺术教育中
• 全球二十大半导体厂商全球二十大半导体厂商（Worldwide Top 20 Semiconductor Sales Leaders）列出1987年以来全球前二十大半导体厂商。所谓的半导体厂商可区分成三种：根据全球半导体贸易统计组织（WSTS
• 波特兰有轨电车波特兰有轨电车（英语：Portland Streetcar），是美国俄勒冈州波特兰地区由俄勒冈州三县都会区交通局（英语：Tri-County Metropolitan Transportation District of Oregon）（Tri-County Me
• 辨识系统生物辨识系统泛指以每个生物独有的生物特征作为根据，必须具备以下的几种特征： 以生物辨识系统所应用到的技术有：
• 大和抚子大和抚子，被用作性格文静、温柔稳重并且具有高尚美德的女性的代称，也一度是日本政府宣扬父权社会意识形态遵三从四德、相夫教子的传统日本女性的符号，少数时候也被用来广义地代