instantiation什么意思 instantiation音标、翻译、用法
instantiation音标
英 [ɪnstænʃɪ'eɪʃən]
美 [ɪnstænʃɪ'eɪʃən]
instantiation翻译
n.
实例化，例示；
英英释义
instantiation[ in,stænʃieiʃən ]
n.a representation of an idea in the form of an instance of it
"how many instantiations were found?"
instantiation用法
权威例句
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...