automated theorem proving

英 美
  • 定理机器证明
  • automated adj.自动化的动词automate的过去式和过去分词.
  • proving n.校对动词prove的现在分词形式.
  • theorem n.定理

相关词汇

automate automated method
展开全文

大家正在查

push-window是什么意思 automaticoperating是什么意思 automatic-manual是什么意思 automatic-tuning是什么意思 automatic-tunnel是什么意思 Automatic-element是什么意思 automatic-sheared是什么意思 automaticcorrecting是什么意思 automatic-control是什么意思 automaticformatting是什么意思