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

单词	自然演绎系统
释义	自然演绎系统 Encyclopedia 哲学逻辑释 system of natural inference自然演绎系统没有公理，只有若干推理规则的演绎系统。 Mathematics natural deduction system自然演绎系统 system of natural deduction自然演绎系统
随便看	administrative middleware technology administrative monopoly administrative objective administrative omission administrative order administrative organization administrative organization law Administrative Organizations of China Electric Power administrative penalties for traffic safety violations administrative penalty administrative penalty for work safety and health administrative planning administrative power list system administrative principles of urban and rural planning administrative procedure Administrative Procedure Act,APA administrative procedure law Administrative Procedure Law of the People's Republic of China Administrative Process Optimization administrative protection of copyright Administrative Provisions on Audio-Visual Programs Broadcast via Internet and Other Information Networks administrative punishment for illegal act on land administrative punishment for illegal construction administrative punishment in education Administrative Punishment of Food Hygiene

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