English translation for "博耶穆尔定理证明程序"

boyermoore theorem prover

Related Translations:

分解定理:  decomposition theoremresolution theorem

切除定理:  excision theorem

中点定理:  mid-point theorem

畸变定理:  distortion theorem

欧姆定理:  ohm’s law

代换定理:  substitution theorem

定理验证:  theorem proving

正交定理:  orthogonality theorem

连续性定理:  continuity theorem

密度定理:  density theorem

Similar Words：

"博耶鲁" English translation, "博耶鲁德" English translation, "博耶罗" English translation, "博耶梅" English translation, "博耶姆" English translation, "博耶纳普" English translation, "博耶桑" English translation, "博耶森" English translation, "博耶斯科格" English translation, "博耶斯特伦" English translation