单词 | equational |
释义 |
equational听听怎么读
英 [?'kwe???n?l]
美 [?'kwe???n?l]
是什么意思 方程式的,均分的; 学习怎么用 权威例句Building in equational theoriesProofs by induction in equational theories with constructorsProofs by induction in equational theories with constructorsRewrite-based Equational Theorem Proving with Selection and SimplificationSpecification and proof in membership equational logicComplete Sets of Reductions for Some Equational TheoriesDeciding Knowledge in Security Protocols Under Equational TheoriesMembership algebra as a logical framework for equational specificationMembership Algebra as a Logical Framework for Equational SpecificationOrder-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations ☆
|
随便看 |
英语词典包含168364条英汉在线翻译词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。