“自然推理系统”的意思、用法、组词造句及英语翻译-汉语字词典-修远网

字词	自然推理系统
释义	自然推理系统数理化力学卷自然推理系统　　亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(GerhardGentzen,1909—1945)于20世纪30年代建立的。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	蓺是什么意思蓼是什么意思蓿是什么意思蔀是什么意思蔂是什么意思蔊是什么意思蔊菜是什么意思蔌是什么意思蔑是什么意思蔑视是什么意思蔓是什么意思蔓是什么意思蔓是什么意思蔓延是什么意思蔓草难除是什么意思蔓菁是什么意思蔗是什么意思蔗糖是什么意思蔚是什么意思蔚是什么意思蔚为大观是什么意思蔚然成风是什么意思蔚蓝是什么意思蔟是什么意思蔡是什么意思 горноспасательный的意思 горноспасательный 的意思 горностаевый 的意思 горностаевый的意思 горностай 的意思 горностай的意思 горнотранспортный的意思 горнотранспортный 的意思 горнохимический 的意思 горнохимический的意思 self-initiated self-instructional self-interest self-interested self-interestedness self-introduction self-invited selfish selfishly selfishness

修远网汉语字词典收录72225条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。