formal inference system

英 美
  • 形式推理系统
  • formal adj.正式的;正规的;形式的;公开的;拘谨的;有条理的
  • inference n.推理;推论;推断;结论
  • system n.系统;体系;身体;制度