词典 / 科技
theorem-proving【数】
暂无补充释义。
theorem-proving machine【计】
theorem-proving for robot problem solving【自】
theorem-proving system【计】
补充或纠正词条 →