请输入您要查询的字词:
单词
自然演绎系统
释义
自然演绎系统
Encyclopedia
哲学
逻辑
释
system of natural inference
自然演绎系统
没有公理,只有若干推理规则的演绎系统。
Mathematics
natural deduction system
自然演绎系统
system of natural deduction
自然演绎系统
随便看
赤道直角坐标
赤道线
赤道经纬仪
赤道缓冲带
赤道自转速度
赤道装置
赤道西风爆发
赤道视差
赤道订正
赤道轨道
赤道逆流
赤道量子数
赤道键
赤道隆起
赤道面
赤铁矿
赤铅矿
赤铜矿
赤链华游蛇
赤链蛇
赤雅
赤霉烷
赤霉烷[类]
赤霉烷类
赤霉素
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/6/5 1:53:16