明会要

相关

• 线性逻辑在数理逻辑中，线性逻辑是拒绝“弱化”和“收缩”的结构规则的一种亚结构逻辑。对此解释是“假设是资源”:在证明中所有假设必须被消费“精确一次”。这区别于平常的逻辑比如
• 厄洛替尼厄洛替尼（英语：Erlotinib，商品名：Tarceva，特罗凯）是用于治疗非小细胞肺癌（英语：Non-small-cell lung carcinoma）（NSCLC）、胰腺癌等几种癌症的药物，作为一种酪氨酸激酶抑制剂作用于表皮生
• 联合国维和部队联合国维持和平部队（英语：United Nations Peacekeeping Force）简称联合国维和部队，指由大会或联合国安全理事会至少需九票赞成（必须包括五个常任理事国）核准部署并决定其任务授权
• 王宪锺王宪钟（罗马拼音：Wang Hsien Chung，1918年4月18日－1978年6月25日），中国数学家，在代数拓扑学、李群研究方面卓有贡献。1918年4月18日生于北京。1936年毕业于天津南开中学，同年入清华
• 荷兰国防部荷兰政府与政治 系列条目荷兰国防部（Ministerie van Defensie）是主掌荷兰军事的政府部门，底下设有一位国务秘书（Staatssecretaris）协助国防大臣（部长）处理政务。国防部的职责有：1813
• 丽贝卡·豪尔丽贝卡·豪尔（Rebecca Hall，1982年5月3日－）是一名英国女演员。2003年，豪尔因其在《华伦夫人的职业》中的首次演出获伊恩·查理森奖（Ian Charleson Awards）。她因此得以在好莱坞立足
• 库尔斯潟湖库尔斯潟湖(英语：Curonian Lagoon, 俄语：, 立陶宛语：Kuršių marios, 波兰语：Zalew Kuroński, 德语：Kurisches Haff, 拉脱维亚语：Kuršu joma) 是位于立陶宛与俄罗斯加里宁格勒
• IDLEIDLE可以指：
• 久宫祐子内亲王久宫祐子内亲王（1927年9月10日－1928年3月8日）是日本皇室成员，昭和天皇与香淳皇后的二女儿，御称号为久宫。 她有一姊（东久迩成子）、两弟（上皇明仁、常陆宫正仁亲王）和三妹（鹰司和子、池
• 没有指针的钟《没有指针的钟》（英语：）美国女性小说家卡森·麦卡勒斯的长篇小说。该书描写了美国社会中深深扎根了的痼疾“种族歧视”。该书一共有四位主人公，一位是80多岁的前美国众议院的议