蔡尚思

相关

• 时间逻辑在逻辑中，术语时间逻辑被用来描述为表现和推理关于时间限定的命题的规则和符号化的任何系统。它有时也被称为时态逻辑，这是 Arthur Prior 在1960年代介入的基于模态逻辑的特殊
• 400型台铁S400型柴电机车，是台湾铁路管理局于1969年为配合七堵调车场购入之驼峰调车专用铁路机车。1969年，台铁以第二次世界银行贷款购买5辆GM-EMD公司所制造的EMD GA18（英语：EMD GA1
• 罗甸县罗甸县是中华人民共和国贵州省黔南布依族苗族自治州下属的一个县。面积3010平方公里，2012年人口34万。邮政编码550100，县政府驻龙坪镇。清朝置罗斛厅，1913年置罗斛县，1930年改罗
• 盛京三陵盛京三陵或关外三陵指早期的三个清朝皇家陵寝，即辽宁省沈阳市郊的清福陵、清昭陵和抚顺市新宾县永陵镇的清永陵。2004年，第28届世界遗产委员会将其作为明清皇家陵寝的拓展项目
• 李门李门（1941年－），山东青岛人，中国京剧琴师，一级演员，在京剧音乐和京剧胡琴上有艺术贡献，曾任职中国京剧院（2007年11月28日改中国国家京剧院）。他是梅派名琴师李奘图的儿子，梅派名琴师李超
• 伊藤沙莉伊藤沙莉（1994年5月4日－），日本女演员，千叶县出身。经纪公司为ALPHA AGENCY（日语：アルファエージェンシー）。伊藤首部参演的作品是《14个月～回到小孩的妻子～》。虽当时只有9岁，但此女研
• 1882-83球季英格兰足总杯1882-83球季英格兰足总杯（英语：1882-83 FA Cup），是第12届英格兰足总杯，今届赛事的冠军是布力般奥林匹克，他们在决赛以2:1 (加时)击败老伊顿人，夺得冠军。本届赛事继续在椭圆体育场
• 彼得·汤森彼得·伍尔德里奇·汤森（英语：Peter Wooldridge Townsend，、1914年11月22日－1995年6月19日），英国皇家空军退役上校，获得皇家维多利亚勋章、杰出服务勋章、飞行优异十字勋章、勋章，曾
• 徐时栋徐时栋（1814年－1873年），字定宇，一字同叔，号澹斋，又号柳泉、西湖外史等，浙江省宁波府鄞县（今属宁波市海曙区）人。清朝学者、校刊学家、方志学家、藏书家。道光丙午举人，以输饷授内阁中书
• 人民 (刊物)《人民》（菲律宾语：Ang Bayan）是菲律宾共产党中央委员会官方出版物，也被作为菲律宾共产党的“新闻机构”的代名词。它描述党的行动，表达党对问题和事件的观点。《人民》是半月刊，