automated reasoning based on resolution
英
美
- automated adj.自动化的动词automate的过去式和过去分词.
- based adj.在...居住(或工作);基地(或总部)在...;为基础的动词base的过去式和过去分词
- on prep.在...之上;由...支撑着;在(某一天);关于;基于adv.穿着;向前(移动);表示持续性adj.表示已连接、处于工作状态或使用中;发生;值班
- reasoning n.推论;推理;论证
- resolution n.决心;决定;解决;决议;坚决;分辨率