下诺夫哥罗德州

相关

• 博弈语义博弈语义是一种基于博弈论定义真或有效性等逻辑概念的形式语义，比如游戏者的赢策略。保尔·洛伦茨首先在1950年代晚期为逻辑引入了博弈语义。此后在逻辑中已经研究了很多不同
• 佛罗伦萨共和国佛罗伦萨共和国（意大利语：Repubblica Fiorentina）是中世纪意大利的一个城邦国家，位于今意大利托斯卡纳大区，以佛罗伦萨为中心。1115年，佛罗伦萨脱离托斯卡纳侯国领，获得自治权，成立
• 恩斯特·比尤特勒恩斯特·比尤特勒（德语：Ernest Beutler，1928年9月30日－2008年10月5日），出生于德国柏林的美国病理学家与血液学家，也是教科书《威廉斯血液学》（Williams Hematology）作者。比尤特勒在1
• 阿塔纳索夫-贝瑞计算机阿塔纳索夫-贝瑞计算机（Atanasoff–Berry Computer，通常简称ABC计算机）是世界上第一台电子数字计算设备。这台计算机在1937年设计，不可编程，仅仅设计用于求解线性方程组，并在1942
• 提乌德鲍德提乌德鲍德（Theudebald 或 Theodebald，现代英语：Theobald，法语：Thibaud或Théodebald，德语：Theudowald；约535年–555），又译图德巴得，是提乌德贝尔特一世和Deuteria的儿子, 从547年或548
• 莱桑池蛙莱桑池蛙（学名：Pelophylax lessonae），简称池蛙或池塘蛙，是欧洲的一种青蛙。它们是英国生物多样性行动计划中保护的三个两栖类物种之一。它们数量减少的原因是因池塘的减少及空气
• 浩气盖山河《气盖山河》（意大利语：Il Gattopardo）是一套1963年的意大利剧情片，由卢切诺·维斯康堤执导，毕·兰卡士打、阿伦·狄龙及歌迪雅·卡蒂娜莉等主演。电影改编自朱塞佩·托马西·迪
• 西南季候风西南季风，属季风亚洲中的一个季风。盛行于南亚、东南亚及部分东亚一带，为风向西南的夏季季风。西南季风来自于低空的越赤道气流。这种气流在亚洲被称为“西南季风”。西南季风
• 约翰·特拉沃尔塔约翰·约瑟夫·特拉沃尔塔（英语：John Joseph Travolta，1954年2月18日－）是一位美国男演员、舞蹈家与歌手，也是一名山达基（科学教）教徒。1970年代，以电视剧《欢迎克特尔归来》（1975年至1
• 祖父条款祖父条款（英语：Grandfather clause），相对于追溯法令，是代表一种允许在旧有建制下已存的事物不受新通过条例约束的特例（“老人老办法，新人新办法。”）。英语中的“祖父”（grandfather）