鲁宾逊提出了（）使机器定理证明成为可能_爱下问搜题

搜题请搜索小程序“爱下问搜题”

问题填空题

鲁宾逊提出了（）使机器定理证明成为可能

答案

参考答案：归结原理

问答题

简述保管合同当事人的主要义务。

填空题

焦虑性失眠常用（）。