冰砾阜

相关

• 公理语义学公理语义学（Axiomatic semantics）是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态的断言（assertion）效果。断言是逻辑语句——带变量的谓词，而这些变量
• 鲁昂鲁昂（法语：Rouen，法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Genti
• 小德意志小德意志（德语：Kleindeutsche Lösung）是19世纪的政治思想，构想由霍亨索伦家族统治的普鲁士统一德意志，排除奥地利帝国。小德意志方案与大德意志相反。对于普国首相俾斯麦而言，建
• 阿拉斯加洋流阿拉斯加洋流是一股沿着美国阿拉斯加州海岸往北的太平洋温暖暖流，由北太平洋洋流因为北美洲海岸线的关系而被分出来。阿拉斯加洋流是一种表面流，是西风漂流的一股，在阿拉斯加湾
• 行车安全防卫驾驶（Defensive driving）是一种安全驾驶车辆的技能，机动车辆操作安全实施规程（Safe Practices for Motor Vehicle Operations, ANSI/ASSE Z15.1）定义防卫驾驶为：“在无法控制
• 普里道利世普里道利世（英语：Pridoli epoch）是志留纪最晚的阶段，年代大约位于423–419.2百万年前。
• Febrifugine常山碱是一种喹唑啉酮类生物碱，最初从植物常山中提取得到，为一种治疗疟疾的特效药，但是其副作用较大，多在中医中使用。目前有研究指出其适用领域可能会扩展到治疗癌症等。常山碱
• 知床知床国立公园为日本北海道知床半岛上的国立公园，面积38,633公顷。于1964年6月1日成为国立公园。范围跨越斜里郡斜里町和目梨郡罗臼町，茂密的原生林覆盖了多数区域，并有野生动物
• 黑线鳕黑线鳕（学名：Melanogrammus aeglefinus）是鳕形目鳕科黑线鳕属的唯一一种，被IUCN列为次级保育类动物，产于北大西洋，从比斯开湾至巴伦支海等海域，栖息深度10-450米。本鱼口相对较小；下
• 稗说稗说，也称稗说体，是高丽后期出现的类似笔记类的文学体裁。高丽时期的稗说主要是围绕诗人、诗句，记述逸闻趣事，传说，期间夹杂着作者的评论，也记述有关文、赋、对联、酒令等其它文学