imaging model

英 美
  • 成象模型
  • imaging n.成像
  • model n.模范;模特儿;模型adj.模范的;作模型用的v.做模型;模仿;塑造
    1. Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem.
      象模型检查程序这种完全自动化的定理证明程序是在问题的一个抽象上操作。