布鲁斯奖

相关

• 直觉类型论直觉类型论（Intuitionistic type theory）、或构造类型论、或Martin-Löf 类型论、或就叫类型论是基于数学构造主义的函数式编程语言、逻辑和集合论。直觉类型论由瑞典数学家和
• 尼布楚条约《尼布楚条约》，俄方称《涅尔琴斯克条约》（俄语：Нерчинский договор），是清朝和俄国签订的第一份边界条约，于1689年订立，也是中国历史上首次与西方国家签订的具有
• 岛礁岛礁（英语：Islet），是指一些非常小的岛屿。在英语中岛礁（islet）来自于古法语词缀，意即“岛屿”, 同时也有许多不同术语指代岛礁，如下列：根据联合国海洋法公约公约第121条，一个岛礁被判
• 藤嶋昭藤嶋昭（日语：藤嶋 昭／ふじしま あきら Fujishima Akira ?，1942年3月10日－），日本化学家，东京理科大学校长，东京大学最初4名特别荣誉教授之一，神奈川科学技术学院（日语：神奈川科学技術ア
• 不送气边搭嘴音不送气边搭嘴音（Tenuis lateral click）是一种辅音，主要出现于南非的一些口语中。其中，术语“不送气”（tenuis）又称“无声爆破音”，特指清音、不送气（unaspirated）、未颚音化、未声门
• OGASOGAS（俄语：Общегосударственная автоматизированная система учёта и обработки информации，英语：All-
• 七拱河七拱河，又称通儒水、七拱水，位于中华人民共和国广东省清远市阳山县境内，是连江右岸支流，发源于阳山县南部与怀集县交界处的石羊楼山，上游称“白莲水”，向北流经太平镇白莲村（旧为白
• 天津市电子计算机研究所天津市电子计算机研究所（简称为TJS）是一家从事计算机系统、软、硬件研究与应用开发的综合型研究所。该研究所位于中国天津市河西区。天津市电子计算机研究所于1959年成立，原名
• 早云寺殿廿一个条早云寺殿廿一个条是日本战国时代相模国的后北条氏制定的分国法。传说是北条早云制定。全21条构成，但是，成立年代不明。内容大部分是对主君的奉公、生活上的心得等。江户时代之
• 弗拉基米尔·德米特里耶维奇·伊万诺夫弗拉基米尔·德米特里耶维奇·伊万诺夫（俄语：Влади́мир Дми́триевич Ивано́в，1900年7月22日－1968年12月15日），是一名苏联大将。六年级文化程度。1918