克莱特·凯勒

相关

• 形式系统在逻辑与数学中，一个形式系统（英语：Formal system）是由两个部分组成的，一个形式语言加上一个推理规则或转换规则的集合。大卫·希尔伯特在1921年推动以形式系统来描述数学知识 。
• 计算语言学计算语言学，亦称电脑语言学（英语：computational linguistics）是一门跨学科的研究领域，试图找出自然语言的规律，建立运算模型，最终让电脑能够像人类般分析，理解和处理自然语言。过去，
• 植物细胞植物细胞学(Plant Cell Biology，或传统上的plant cytology) 研究植物细胞结构的科学，是广义的形态学的一部分，也是细胞学的一个分支。植物细胞学以植物细胞作为研究对象，利用生
• 郭正堂郭正堂（1964年－），出生于山西省应县，中国地质学家。1983年毕业于北京大学地貌学与第四纪地质学专业，次年公派赴法国留学。1985年在法国获得波尔多大学第四纪学院获硕士学位，1990年获
• 参将参将或称参戎，为15世纪中国明朝首设的官制名称，分守一路的长官，或位主将城内协守的次官位，阶约为今高级将官，为职事官（差遣官）并非寄禄官无一定品秩。军衔为总兵官、副将、参将、游
• 无尘室净室，又称无尘室、洁净室或清净室，是指一个具有低污染水平的环境，这里所指的污染来源有灰尘，空气传播的微生物，悬浮颗粒，和化学挥发性气体。更准确地讲，一个净室具有一个受控的污染
• 吉林工业大学吉林工业大学是1954年到2000年存在于中国吉林省的一所工科大学，已于2000年与吉林大学合并。
• 乌克兰英雄乌克兰英雄（乌克兰语：Герой України）是乌克兰政府授予乌克兰国民的最高荣誉勋章。1998年由总统列昂尼德·库奇马创立，现分为“英勇表现”与“成就”二项级别。自199
• 香叶醇香叶醇（英语：Geraniol，又称牻牛儿醇）是一个非环单萜醇类化合物。它是玫瑰油、马丁香油和香茅油等香精油的主要成分之一，也少量存在于天竺葵和柠檬中。常温下为无色至黄色的油状液
• 契胡契胡，是一类在南北朝时期北魏时期太行山区活跃的一个族群。原是东胡的一支，臣属于拓跋部，因世居尔朱川（又称秀容川，今山西北部的朱家川）而得姓。尔朱氏世为契胡酋帅，北魏末年，至尔朱