弗朗兹·克罗默尔

相关

• 形式语义学在计算理论中，形式语义学是关注计算的模式和程序设计语言的含义的严格的数学研究的领域。语言的形式语义是用数学模型去表达该语言描述的可能的计算来给出的。形式语义学（form
• 航空安全航空安全是指牵涉航空的安全，概念包括调查与研究空难的原因，以及避免空难发生的措施，包括定下相关规例、培训相关员工及向公众进行相关教育。而国际性的航空安全监管组织包括美
• 库斑猪库斑猪（Kubanochoerus）是一属大型及长角的猪，生存于中新世的欧亚大陆与非洲。其下最大的物种是巨库斑猪，肩高达 1.2米（3.9英尺） 及重 500千克（1,100英磅）。它们的头部很特别，眼睛上有
• 休·格兰特休·约翰·曼格·格兰特（英语：Hugh John Mungo Grant，1960年9月9日－），台湾媒体常称作休葛兰，是英国著名演员及电影监制，多次扮演英国中上流社会出身的角色。1987年凭借《莫里斯的情
• 拉尔夫·纳德拉尔夫·纳德（英语：Ralph Nader，阿拉伯语：رالف نادر‎，1934年2月27日－）是一个美国律师、作家，演说家、政治人物。纳德以绿党参选人身份参加1996年美国总统选举和2000年美国
• 鲁德拉普拉耶格बाप तहसील घंटियाली 城镇鲁德拉普拉耶格（Rudra Prayag），是印度北阿坎德邦鲁德勒布勒亚格县的一个城镇，位于曼达基尼河与阿勒格嫩达河汇流处。总人口2,242（2001
• 曹叡太和：227年－233年正月 青龙：233年二月－237年二月 魏明帝曹叡（204年－239年1月22日），字元仲，豫州沛国谯县（今安徽省亳州市）人。三国时期曹魏第二任皇帝（226年至239年在位）。魏文帝曹丕长子，
• 钱雷钱雷，生卒年不详，明朝医学家。字豫斋，四明（现浙江宁波）人。曾对《脏腑证治图说人镜集》（简称作《人镜经》）八卷本进行过增补。另外著有《人镜经附录》两卷，始刊行于明万历三十四年（16
• 扎尔努拉·拉苏列夫扎尔努拉·拉苏列夫（巴什基尔语：Зәйнулла Рәсүлев；1833年3月25日－1917年2月2日），19世纪末20世纪初巴什基尔人出身的宗教领袖。他是俄国著名的扎吉德领袖，并且是第一
• 陈揆 (常熟藏书家)陈揆（1780年－1825年），字子准，江苏常熟人。父陈莹，为诸生。生于乾隆四十五年（1780年），嘉庆四年（1799年），为诸生。好藏书。道光三年（1823年），家乡遭遇水灾，捐七十万钱为煮粥费。与张金吾合称藏