Symbolic Computation and Machine Prove

英 美
  • 符号计算与机器证明
  • and conj.和;加;接着;那么
  • computation n.计算;估计;计算机的使用
  • machine n.机器;做事效率高的人;工具;车辆v.以机器制造
  • prove v.证明;检验;结果是;发酵
  • symbolic adj.象征的;符号的n.代号