陈宗尧

相关

• 定理机器证明自动化定理证明（Automated theorem proving，简称ATP）目前是自动推理（Automated reasoning，简称AR）体系中发展最好的部分，它的目的是为使用电子计算机程序来进行数学定理的证明。对
• 王船山王夫之（1619年－1692年，即万历四十七年－康熙三十一年），湖广衡阳县人，杰出的思想家、哲学家、明末清初大儒。字而农，号姜斋、又号夕堂，或署一瓢道人、双髻外史，自署船山病叟、南岳遗民，晚
• 1,4-二氧六环1,4-二�烷（常简称为二�烷），透明无色的单环杂环有机化合物，在室温下为液体，有轻微类似乙醚的清香气味，是常用的非质子溶剂。分子式为 C4H8O2，沸点为 101 °C，可与水和常见有机溶剂混溶，
• 似箭石见内文似箭石（学名：）是生存于侏罗纪至中白垩纪的一属箭石，生活在温带及热带地区的大陆棚海域中，分布广泛，以自由游泳或漂浮为主，以触须捕捉小鱼和甲壳类为食。其化石分布于新西兰、
• 詹弗兰科·莱翁奇尼詹弗兰科·莱翁奇尼（意大利语：Gianfranco Leoncini，意大利语发音：，1939年9月25日－2019年4月5日），意大利足球运动员，司职中场。莱翁奇尼曾效力于尤文图斯，亚特兰大和曼托瓦。他在尤文图
• 美丽男孩《美丽男孩》（英语：）是一部2018年美国传记片，由菲利克斯·范·葛罗尼根（英语：Felix Van Groeningen）执导，本片为导演首部的英语长片。葛罗尼根和卢克·戴维斯（英语：Luke Davies）合力撰
• 林尊林尊，西汉儒学学者。字长宾，济南郡（今山东省济南市）人。跟随大儒欧阳高学习《书经》。汉宣帝时，为博士，参加石渠阁会议讨论儒经。后来历任少府、太子太傅。林尊教授弟子平当、陈翁
• 平井理子平井理子是日本女性声优，隶属于Kenyu Office。出生于大阪府。之前是Hyper Voice Managements公司所属。代表作为超级机器人大战OG系列的菈朵妮·史伯特、神曲奏界中的克蒂卡
• 中国公路学会中国公路学会是中华人民共和国公路科技工作者组成的群众性学术团体，是中国科学技术协会主管的社会团体，1978年8月在江苏省无锡市成立。
• 沃尔夫冈·埃尔沃尔夫冈·埃尔（德语：Wolfgang Ehrl，1912年3月4日－1980年6月11日），德国男子摔跤运动员。他曾代表德国参加1932年和1936年夏季奥林匹克运动会摔跤比赛，获得二枚银牌。他于1952年成为职业选手。