“自然演绎系统”的概念、定义、翻译、参考文献-科学参考

单词	自然演绎系统
释义	自然演绎系统 Encyclopedia 哲学逻辑释 system of natural inference自然演绎系统没有公理，只有若干推理规则的演绎系统。 Mathematics natural deduction system自然演绎系统 system of natural deduction自然演绎系统
随便看	卡日曲卡昂卡昂圣艾蒂安教堂卡明斯基催化剂卡明斯基，G.N. 卡明斯基，J. 卡普卡普兰卡普兰先生卡普兰斯基卡普兰斯基域卡普兰斯基定理卡普兰斯基密度定理卡普兰斯基稠密定理卡普兰-约克映射卡普兰-约克猜想卡普兰约克猜想卡普兰-约克维数卡普兰综合征卡普兰-迈耶估计卡普兰迈耶估计卡普兰，E.A. 卡普兰，M.A. 卡普兰，R. 卡普可归约性

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。