Hoder,Hoder,Hoder是什么意思,Hoder怎么读,Hoder的用法
创始人
2024-11-27 16:41:00
0
Hoder

  • n.

    霍德尔;

  • 英英释义

    Hoder

    • n.(Norse mythology) a blind god; misled by Loki, he kills his brother Balder by throwing a shaft of mistletoe

      同义词:HothHothrHodrHodur


    权威例句

    Generalized property directed reachability
    Generalized Property Directed Reachability
    Generalized Property Directed Reachability
    Sine Qua Non for Large Theory Reasoning
    Sine Qua Non for Large Theory Reasoning
    μZ– An Efficient Engine for Fixed Points with Constraints
    μZ– An Efficient Engine for Fixed Points with Constraints
    Evaluation of Automated Theorem Proving on the Mizar Mathematical Library
    A comparative study of three different types of barrier discharges in air at atmospheric pressure by cross-correlation spectroscopy
    Evaluation of Automated Theorem Proving on the Mizar Mathematical Library

    相关内容

    热门资讯

    za,za,za是什么意思,z... za英 [zɑ:] 美 [zɑ] ...
    Z-axis,Z-axis,Z... Z-axis英 [ˈzedˌæksis] 美 [ˈziˌæksɪs] ...
    Z bend,Z bend,Z... Z bend英 [zed bend] 美 [ziː bɛnd] ...
    zabaglione,zaba... zabaglione英 [ˌzɑ:bəl'jəʊni:] 美 [ˌzɑbəl'joʊni] ...
    Zacco,Zacco,Zac... Zacco ...
    Zachariah,Zacha... Zachariah[ˌzækəˈraiə] ...
    Zacharias,Zacha... Zacharias英 [ˌzækəˈraiəs] 美 [ˌzækəˈraɪəs] ...
    zach,zach,zach是... zach[zæk] ...
    zacaton,zacaton... zacaton英 ['sɑ:kɑ:'təʊn] 美 [sɑkɑ'toʊn] ...
    Zacher,Zacher,Z... Zacher ...
    zachary,zachary... zachary[ˈzækəri] ...
    zaffer,zaffer,z... zaffer英 ['zæfə] 美 ['zæfə] ...
    zack,zack,zack是... zack英 [zæk] 美 [zæk] ...
    zaddik,zaddik,z... zaddik英 [tsɑ:'di:k] 美 ['tsɑdɪk] ...
    zag,zag,zag是什么意... zag英 [zæg] 美 [zæg] ...
    zagging,zagging... zagging[zæɡɪŋ] ...
    zaffre,zaffre,z... zaffre英 ['zɑ:fr] 美 ['zɑfr] ...
    zaftig,zaftig,z... zaftig英 ['zɑ:ftɪg] 美 ['zɑftɪg] ...