卡尔·金特 (施瓦茨堡-松德斯豪森)

相关

• 形式系统在逻辑与数学中，一个形式系统（英语：Formal system）是由两个部分组成的，一个形式语言加上一个推理规则或转换规则的集合。大卫·希尔伯特在1921年推动以形式系统来描述数学知识 。
• 谷物产量本列表是2005-2014年世界各国谷物产量的列表，数据来源于联合国粮食及农业组织。单位：（公吨）
• 美国纽约南区地方法院美国纽约南区联邦地区法院（United States District Court for the Southern District of New York，在法律引用中缩写为“S.D.N.Y.”）是美国的一个联邦地区法院。本法院判决的案
• 人面犬人面犬（日语：人面犬／じんめんけん ），在日本是仅次于裂口女，人气不小的日本现代都市妖怪传说。传说在下着大雨或昏暗没有灯光的街上，当时有不少人流传着在街上看到"狗身人面"动物的
• 平壤地铁DK4型电动车组平壤地铁DK4型电动车组是平壤地铁的电动车组车款之一，现在已经退出运营。DK4型由中国大陆长春轨道客车生产，共112辆。列车外观与北京地铁DK2型和DK3型相似。自1973年开始在平
• 罗伯特·B·迈克菲罗伯特·B·迈克菲（Robert Breckinridge McAfee，1784年2月18日－1849年3月12日），是一名美国肯塔基州政治家，并在1824年至1828年，担任肯塔基州副州长。迈克菲出生于肯塔基州莫瑟郡。1
• BabelNetBabelNet是一个多语词汇语义网络和本体，由罗马萨皮恩扎大学（罗马大学）计算机科学系的计算语言学实验室所创建。 BabelNet是自动构建的，其将最大的多语Web百科全书维基百科链接到
• 古尔萨海甘杰古尔萨海甘杰（Gursahaiganj），是印度北方邦Kannauj县的一个城镇。总人口35752（2001年）。该地2001年总人口35752人，其中男性18943人，女性16809人；0—6岁人口6122人，其中男3279人，女2843
• 孤拔阿纳托尔-阿梅代-普罗斯珀·库尔贝（法语：Anatole-Amédée-Prosper Courbet，1827年6月26日－1885年6月11日），中国史料称孤拔，越南史料称姑陂，是一名法国的海军将领。他曾任法国殖民地
• 于澄世于澄世（1911年－），河北宁河人。中华人民共和国政治人物。1935年6月，毕业于天津河北省立工业学院水利工程系，历任渭惠渠工程处及褒惠渠工程处和管理局工程师、西北大学教授等职。中