“高阶谓词演算”的意思、用法、组词造句及英语翻译-汉语字词典-修远网

字词	高阶谓词演算
释义	高阶谓词演算数理化力学卷高阶谓词演算　　数理逻辑的组成部分,形式化的高阶逻辑系统。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	折枝是什么意思折枝花卉纹是什么意思折柳是什么意思折标准品率是什么意思折校是什么意思折桂是什么意思折桂令是什么意思折棚是什么意思折槛是什么意思折漕是什么意思折狱是什么意思折狱龟鉴是什么意思折现率是什么意思折磨是什么意思折福是什么意思折租是什么意思折简是什么意思折算交通量是什么意思折算工龄是什么意思折算风险是什么意思折箭是什么意思折线是什么意思折线纹是什么意思折翮是什么意思折翼蝠是什么意思 безкислотный的意思 безкислотный 的意思 безламповый 的意思 безламповый的意思 безлесный的意思 безлесный 的意思 безликий 的意思 безликий的意思 безлихорадочный 的意思 безлихорадочный的意思 door lamp doorless doorman doormat doormats doormen door mirror door money doornail doornails

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