English translation for "带恒等式的谓词演算"

predicate calculus with identity

Related Translations:

恒等式:  identical equationidentical relationidentitaet identityidentity (mathematics)

拟恒等式:  quasi identityquasi-identities

牛顿恒等式:  newton identities

信息恒等式:  i identity

布尔恒等式:  boolean identity

贸易恒等式:  trade identity

所得恒等式:  income identity

语法恒等式:  syntactic identity

平行四边形恒等式:  parallelogram identityparallelogram law

代数恒等式:  algebraic identity

Similar Words：

"带黑的" English translation, "带黑色的" English translation, "带黑烟的排气" English translation, "带黑曜岩" English translation, "带横辊和螺旋式撒布器的撒肥机" English translation, "带红光的" English translation, "带红色" English translation, "带红色的" English translation, "带红色的，微红的" English translation, "带红头的" English translation