鲁宾逊提出了（）使机器定理证明成为可能_人工智能_全学科试题题库

当前学科：人工智能

题目：填空题
鲁宾逊提出了（）使机器定理证明成为可能
答案： <查看本题扣1积分>

查看答案

答案不对？请尝试站内搜索

推荐知识点:

女性，42岁，劳累后反复发作性黄疸20年。无发热、腹部不适、食欲不振，小便颜色正常。查体：一般情况好，巩膜轻度黄染，皮肤正常，未见肝掌。腹平软，无压痛，肝脾未触及。化验：Hb142g／L，ALT（SGPT）30U／L，总胆红素38．6μmol／L，1分钟胆红素2．6μmol／L，乙肝五项、抗HCV阴性，腹部超声正常。出现黄疸时宜选用的退黄药物是（）。

企业管理的两重性是科学性和艺术性。()

县级联社稽核部门在（）授权范围内开展工作。

26岁，妇女，口服避孕药第14天漏服一片，应采取的恰当措施是（）。

西汉文景时代的大赋《七发》，其作者是（）。

男，64岁，散步时突然自觉腹部不适，恶心，头晕，出虚汗，心率加快，心慌，急就诊，查体：P118次／分；BP100/60mmHg；心率整，面色苍白，腹部广泛压痛，尤以右侧腹明显，轻度肌紧张，既往有肝炎后肝硬化史，但无出血史，亦未做进一步检查。最可能的诊断是（）

判断香豆素6位是否有取代基团可用的反应是（）。

采用沟植法时，苗木要扶正，根系要舒展，不能有（）现象。

因果复句中推论结果句使用的关联词语是（）。

《建筑设计防火规范》规定，一级耐火等级建筑的房间隔墙采用耐火极限不低于()的不燃烧体。