请输入您要查询的百科知识:
词条
高阶谓词演算
释义
高阶谓词演算
数理化力学卷
高阶谓词演算
数理逻辑的组成部分,形式化的高阶逻辑系统。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
黄国璋
黄国贵族墓
黄图珌
黄圃
黄土
黄土仑遗址
黄土关
黄土地
黄土地貌
黄土坪
黄土岭战斗
黄土汤
黄土湿陷性
黄土高原
黄土高原农牧林区
黄土黄
黄垆
黄埔军校
黄埔军校同学会
黄埔军校旧址
黄埔条约
黄埔港
黄埔系
黄堂
黄墟
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。
Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/3/13 17:31:47