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 reachabilityGeneralized 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
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
1. Her enemy Hoder devised a scheme to use the plant to kill Balder.
她的敌人洛基设计了一个用槲寄生杀死巴尔德尔的计划。
youdao
2. By the end of 2006, Hoder had changed the tone of his writing substantially.
到2006年底，霍德很大地改变了他的论调。
youdao
3. A rumor made the rounds today that Hoder, as he is known to fellow bloggers, had already been sentenced to death.
今天甚至有传闻说霍德(这是博友们对他的称呼)已经被判死刑。
youdao
4. Hoder was, briefly and early on, an advisor to the Committee to Protect Bloggers, the organization I started in 2004.
霍德曾在早些时候做过保护博客写手委员会的顾问，这个组织是我于2004年创立的。
youdao
5. Norse mythology recounts how the god Balder was killed using a mistletoe arrow by his rival god Hoder while fighting for the female Nanna.
北欧神话讲述了神巴尔德在和其对手神霍德尔争夺一名女子南娜的时候，前者被后者用一支槲寄生箭射死。
youdao
6. Hoder had contributing to the founding of Global Voices, attending its first meeting and coining the term "bridge blogger" for those who wrote in one country but for a global audience.
霍德对全球之声的建立亦有贡献，他在成立大会上给身处一隅却为世界人民写博客的写手一个新的名称“桥梁博主”。
youdao
7. Hoder had contributing to the founding of Global Voices, attending its first meeting and coining the term "bridge blogger" for those who wrote in one country but for a global audience.
霍德对全球之声的建立亦有贡献，他在成立大会上给身处一隅却为世界人民写博客的写手一个新的名称“桥梁博主”。
youdao
Hoder
