automatic theorem proving research

英 美
  • 自动定理证明研究
  • automatic adj.自动的;无意识的;必然的n.自动装置;半自动武器
  • proving n.校对动词prove的现在分词形式.
  • research n.研究;调查v.研究;调查
  • theorem n.定理