自动推理

相关

• 价值论价值论 (来自古希腊语 ἀξίᾱ, axiā, "价值"; 以及-λόγος, 理性) 价值观的哲学研究。价值论 同时可以用在伦理学以及美学上—亦即高度重视价值观念的哲学领域—或者
• 士士部，为汉字索引里为部首之一，康熙字典214个部首中的第三十三个（三划的则为第四个）。就繁体字部首而言，字体主体可辨认为士，且无其他部首可用者将部首归为士部。要注意的是，在繁体
• 无线感测网络无线感测网络（Wireless sensor network），或译无线感知网络，无线传感器网络，是由许多在空间中分布的自动设备组成的一种无线通信计算机网络，这些设备使用传感器协作地监控不同位置
• 国际藻类、菌物和植物命名法规《国际藻类、真菌、植物命名法规》（英语：International Code of Nomenclature for algae, fungi, and plants；ICN）是一部关于植物命名的规则与建议，其中确立每一个分类单元（或分类
• 东兴东兴市位于中华人民共和国广西壮族自治区南部，是防城港市代管的一个县级市。市政府驻东兴镇，面积540.7平方公里，2007年人口为11万。电话区号为0770，邮政编码为538100。东兴市地
• 重度抑郁症重性抑郁疾患（英语：Major depressive disorder，缩写MDD），也可简称为抑郁症，是一种精神疾患，特征为超过两周的大多数时间都抑郁不已。常常伴随着没有精神、对一般休闲活动没有兴趣、
• 资阳市资阳市是中华人民共和国四川省下辖的地级市，位于四川省中部偏东。市境东接重庆市，南邻内江市，西界成都市、眉山市，北连德阳市、遂宁市。地处四川盆地中部丘陵地带，沱江自北往南流
• font color=white国家森林城市/font国家森林城市，是指城市生态系统以森林植被为主体，城市生态建设实现城乡一体化发展，各项建设指标达到规定指标并经林业主管部门批准授牌的城市。迄今中华人民共和国国家林业和草
• 马来西亚北方大学马来西亚北方大学（马来语：Universiti Utara Malaysia，简称 UUM），是位于马来西亚吉打州古邦巴素县新笃镇的一所公立大学。该校系依据1984年的马来西亚北方大学法令，于1984年2月16日
• 东疏大道新山东部疏散大道新山东部疏散大道 ，即EDL，简称新山东疏大道或东疏大道，（马来语：Lebuhraya Penyebaran Timur Johor Bahru；英语：Johor Bahru Eastern Dispersal Link Expressway），是