自动推理

相关

• 柏林柏林（德语：Berlin，德语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gent
• 二技科技大学（简称科大）是中华民国高等技职教育体系的教学机构。科大的主要学制为高级中等学校考试后录取的四年制技术学院（简称四技），另一体系则是自国中毕业可就读的五年制专科学校
• 玛丽和马克思《玛丽和马克思》（英语：Mary and Max），2009年上映的逐帧粘土动画电影，真人真事改编的半自传电影。该片美国与澳大利亚合作，制作周期长达五年，影片讲述了一个澳大利亚女孩玛丽与他的
• 杜邦杜邦公司（英语：DuPont，全称E. I. du Pont de Nemours and Company，纽交所除牌前DD）是世界排名第二大的美国化工公司。前身是创办于1802年7月的杜邦火药厂；1915年成立杜邦公司。一
• 原鞘亚目克劳森甲科（Crowsoniellidae） 长扁虫科（Cupedidae） 侏罗甲科（Jurodidae） 微长扁虫科（Micromalthidae） 澳洲长扁虫科（Ommatidae） 沟胸长扁虫科（Tetraphaleridae） Sikhotaeliinidae原鞘亚
• 公共卫生学院北京大学公共卫生学院，是北京大学的一个学院，成立于1950年。北京大学公共卫生学院现设有八个系：此外，还设有中心实验室，北京大学儿童青少年卫生研究所和北京大学生育健康研究所。
• 单轨铁路单轨铁路简称单轨，是铁路的一种，特点是使用的轨道只有一条，而非传统铁路的两条平衡路轨。单轨铁路的路轨一般以超高硬度混凝土制造，比普通钢轨宽很多。而单轨铁路的车辆比路轨更
• .ph.ph为菲律宾国家和地区顶级域（ccTLD）的域名。A .ac .ad .ae .af .ag .ai .al .am .ao .aq .ar .as .at .au .aw .ax .az   B .ba .bb .bd .be .bf .bg .bh .bi .bj .bm .b
• 黑豹黑豹并非特定物种，而是指几种豹中的黑化个体。属于猫科动物，尤其为大型物种，通常都能发现一些颜色有异于原有颜色的黑化个体，正常毛色的豹可产下黑化与正常毛色的同一胎幼仔，反之
• 光线转换矩阵分析光线转换矩阵分析(又称ABCD矩阵分析)，是用于某些光学系统，特别是激光领域的一种光线追踪技术。它包含一个描述光学系统的光线转化矩阵(ray transfer matrix)，这个矩阵与一代表