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

字词	自然推理系统
释义	自然推理系统数理化力学卷自然推理系统　　亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(GerhardGentzen,1909—1945)于20世纪30年代建立的。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	精斑检验是什么意思精斑鉴定是什么意思精明是什么意思精明强干是什么意思精查是什么意思精梳是什么意思精梳机是什么意思精梳毛条是什么意思精梳毛纺是什么意思精梳短毛是什么意思精武体育会是什么意思精气是什么意思精气夺则虚是什么意思精气神是什么意思精气神学说是什么意思精氨酸是什么意思精河是什么意思精油是什么意思精浆机是什么意思精浊是什么意思精液是什么意思精液保存是什么意思精液检查是什么意思精深是什么意思精湛是什么意思 засвет的意思 засвет 的意思 засветить的意思 засветить 的意思 засветить1 的意思 засветить1的意思 засветиться 的意思 засветиться的意思 засветка 的意思 засветка的意思视网膜检影器视网膜炎视网膜的视网膜镜视网膜镜检法视若无睹视蛋白视觉视觉器官视觉暂留

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