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 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
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