形式化方法

相关

• 波利比乌斯波利比乌斯（希腊语：Πολύϐιος，前200年－前118年）生于伯罗奔尼撒的梅格洛玻利斯，希腊化时代的政治家和历史学家，以《历史》一书留名传世，原书40卷，只有5卷传世，记叙地中海周边的
• 人工染色体人类人工染色体（Human artificial chromosome，HAC）是一种小型染色体，可作为载体搭载一些基因，并作为人类细胞中额外的染色体（第47个），使这些基因表现于人类体内。此种人工染色体可载
• 金门大桥坐标：37°49′10″N 122°28′43″W / 37.81944°N 122.47861°W / 37.81944; -122.47861金门大桥（英语：Golden Gate Bridge）是美国旧金山的地标。它跨越联接旧金山湾和太平洋的
• 勃艮第-弗朗什-孔泰勃艮第-弗朗什-孔泰（法语：Bourgogne-Franche-Comté）为法国大区，根据2014年大区重划，由弗朗什-孔泰、勃艮第两个大区合并而成，2016年1月1日起生效。5个海外省及大区
• 弹状病毒科水泡病毒属 Vesiculovirus 丽沙病毒属 Lyssavirus 短时热病毒属 Ephemerovirus 胞内水稻黄矮炮弹病毒属 Cytorhabdovirus 核内水稻黄矮炮弹病毒 Nucleorhabdovirus 粒外弹状
• Tcsub2/subOsub7/sub七氧化二锝（Tc2O7），又称氧化锝、氧化锝（Ⅶ）或高锝(酸)酐。七氧化二锝是锝最常见的氧化物，呈黄色。七氧化二锝和一般的金属氧化物不同。一般的金属氧化物若能溶于水，会呈碱性。但七
• 崔　鹏崔鹏（1957年8月7日－），陕西西安人，自然地理学与水土保持学家。1982年毕业于西北大学，1985年取得中国科学院成都地理研究所硕士学位，1990年取得北京林业大学博士学位。担任中国科学院
• 世界童子军大会世界童军大露营（法语：Jamboree Scout Mondial）为国际间童军大露营的一种，通常有数千甚至数以万计来自世界各地十四至十七岁之青年参与。第1次世界童军大露营由伦敦英国童军总会
• 微型游戏机微型游戏机是电子游戏机的一类。许多被称为微型游戏机设备使用专门设计的廉价安卓系统，这些系统为连接电视机以及从Google Play等应用商店下载电子游戏而设计。2010年，云游戏
• 冯·卡门环形山冯·卡门环形山（Von Kármán）是月球背面南半部一座巨大的古撞击坑，约形成于45.5-39.2亿年前的前酒海纪，其名称取自匈牙利裔美籍工程师暨物理学家“西奥多·冯·卡门”（1881年-19