machine theorem proving

英 美
  • 机器定理证明
  • machine n.机器;做事效率高的人;工具;车辆v.以机器制造
  • proving n.校对动词prove的现在分词形式.
  • theorem n.定理