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

字词	高阶谓词演算
释义	高阶谓词演算数理化力学卷高阶谓词演算　　数理逻辑的组成部分,形式化的高阶逻辑系统。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	昨是什么意思昪是什么意思昫是什么意思昭是什么意思昭关是什么意思昭彰是什么意思昭然若揭是什么意思昭示是什么意思昭穆是什么意思昭著是什么意思昭陵六骏是什么意思昭雪是什么意思是是什么意思是可忍，孰不可忍是什么意思是否是什么意思是字句是什么意思是正是什么意思是非是什么意思是非曲直是什么意思昱是什么意思昳是什么意思昳是什么意思昳丽是什么意思昴是什么意思昵是什么意思 кругозор的意思 кругозор 的意思 кругом的意思 кругом 的意思 кругооборот的意思 кругооборот 的意思 кругообразный的意思 кругообразный 的意思 кругосветка 的意思 кругосветка的意思 close-run closes close season close-set close shave close shaves close shop close shot closest closestool

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