请输入您要查询的字词:
单词
自然演绎系统
释义
自然演绎系统
Encyclopedia
哲学
逻辑
释
system of natural inference
自然演绎系统
没有公理,只有若干推理规则的演绎系统。
Mathematics
natural deduction system
自然演绎系统
system of natural deduction
自然演绎系统
随便看
德意志帝国刑法典
德意志帝国宪法
德意志意识形态
德意志拉丁美洲研究协会
德意志新闻社
德意志民主共和国
德意志民主共和国之声电台
德意志民主共和国戏剧
德意志民主共和国教育
德意志民主共和国电台
德意志民族剧院
德意志民族协会
德意志民族社会主义工人党
德意志联邦共和国
德意志联邦共和国刑法典
德意志联邦共和国基本法
德意志联邦共和国戏剧
德意志联邦共和国教育
德意志进步党
德意志邦联
德戎基埃尔变换
德戎基埃尔定理
德扎尔格环形山
德扎格,G.
德扬-阿克斯福德模型
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/1/13 16:38:08