单词 | instantiation |
释义 |
instantiation听听怎么读
英 [?nst?n??'e???n]
美 [?nst?n??'e???n]
是什么意思 实例化,例示; 英英释义instantiation[ in,st?n?iei??n ]
学习怎么用 权威例句Complete instantiation for quantified formulas in satisfiabiliby modulo theories
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description) Cognitive errors in diagnosis: instantiation, classification, and consequences. Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Scalable context-sensitive flow analysis using instantiation constraints Scalable context-sensitive flow analysis using instantiation constraints Ideals, central tendency, and frequency of instantiation as determinants of graded structure in categories. Data-type definition driven dynamic business component instantiation and execution framework and system and method for managing know... |
随便看 |
|
英语词典包含168364条英汉在线翻译词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。