Boyer Moore theorem prover

英 美
  • 博耶穆尔定理证明系统
  • Boyer n.博耶
  • moore n.穆尔(美国俄克拉荷马州中部的一座城市)n.穆尔(姓氏)
  • prover n.证人;试验者;校准仪
  • theorem n.定理