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

字词	自然推理系统
释义	自然推理系统数理化力学卷自然推理系统　　亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(GerhardGentzen,1909—1945)于20世纪30年代建立的。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	讽是什么意思讽刺是什么意思讽喻是什么意思讽诵是什么意思设是什么意思设使是什么意思设备是什么意思设备更新是什么意思设想是什么意思设施是什么意思设法是什么意思设置是什么意思设色是什么意思设计是什么意思设身处地是什么意思察访是什么意思寡是什么意思寡不敌众是什么意思寡人是什么意思寡头是什么意思寡头市场是什么意思寡廉鲜耻是什么意思寡闻少见是什么意思寤是什么意思寥是什么意思 рельсобалочный的意思 рельсовоз 的意思 рельсовоз的意思 рельсовый 的意思 рельсовый的意思 рельсовыпрямитель 的意思 рельсовыпрямитель的意思 рельсодержатель 的意思 рельсодержатель的意思 рельсозахват的意思 whiz-bang whizbang whiz kid whizz whizz along whizzbang whizzed whizzer whizzes whizzing

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