Hoder 基本解释
n.霍德尔；
英英释义
Hoder
n.(Norse mythology) a blind god; misled by Loki, he kills his brother Balder by throwing a shaft of mistletoe同义词：HothHothrHodrHodur
Hoder 相关例句
权威例句
Generalized property directed reachabilityGeneralized Property Directed ReachabilityGeneralized Property Directed ReachabilitySine Qua Non for Large Theory ReasoningSine Qua Non for Large Theory ReasoningμZ– An Efficient Engine for Fixed Points with ConstraintsμZ– An Efficient Engine for Fixed Points with ConstraintsEvaluation of Automated Theorem Proving on the Mizar Mathematical LibraryA comparative study of three different types of barrier discharges in air at atmospheric pressure by cross-correlation spectroscopyEvaluation of Automated Theorem Proving on the Mizar Mathematical Library
