英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：


请选择你想看的字典辞典：
单词字典翻译
realizability查看　realizability　在百度字典中的解释百度英翻中〔查看〕
realizability查看　realizability　在Google字典中的解释Google英翻中〔查看〕
realizability查看　realizability　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • Realizability - Wikipedia
    Realizability is one of the methods used in proof mining to extract concrete "programs" from seemingly non-constructive mathematical proofs Program extraction using realizability is implemented in some proof assistants such as Rocq
  • REALISABILITY Definition Meaning - Merriam-Webster
    The meaning of REALIZABILITY is the quality or state of being realizable
  • REALIZABILITY definition and meaning | Collins English Dictionary
    Definition of 'realizability' realizability in British English or realisability (ˌrɪəˌlaɪzəˈbɪlɪtɪ ) noun the ability of something to be realized
  • What does realizability mean? - Definitions. net
    Most variants of realizability begin with a theorem that any statement that is provable in the formal system being studied is realizable The realizer, however, usually gives more information about the formula than a formal proof would directly provide
  • Realizability - definition of realizability by The Free Dictionary
    Define realizability realizability synonyms, realizability pronunciation, realizability translation, English dictionary definition of realizability or n the ability of something to be realized Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994,
  • realizability - Wiktionary, the free dictionary
    Noun realizability (countable and uncountable, plural realizabilities) The property or characteristic of being realizable Synonym: realizableness Antonym: unrealizability
  • realizability in nLab
    One possible way to find a computational interpretation for univalence in homotopy type theory is to interpret it in using realizability Stekelburg provides a univalent universe of modest Kan complexes Simplicial homotopy theory can be developed in an extensive locally cartesian closed category A
  • realizability - Definition, Meaning Synonyms - Vocab Dictionary
    Realizability refers to the potential or capability of an idea, plan, or concept to be brought into existence or actualized
  • REALIZABLE | definition in the Cambridge English Dictionary
    REALIZABLE meaning: 1 able to be achieved: 2 able to be sold to get money: 3 able to be achieved: Learn more
  • Realizability - TU Darmstadt
    In this chapter we introduce the basic notion of structure over which one can build realizability models, namely so-called partial combinatory algebras (pca's) which provide a notion of untyped model of computation





中文字典-英文字典  2005-2009