主页
学科
搜索
账户
常见问题
当前学科：计算机科学与技术
题目：
未知类型
自动定理证明的常用方法有3大类：自然演绎法、判定法、定理证明器。()
A.正确
B.错误
答案：
<查看本题扣1积分>
查看答案
答案不对？请尝试站内搜索
推荐知识点:
对于高压气井，为了防止（）串漏，固井施工中，水泥浆要返至井口。
凭证式国债投资者如遇特殊情况需要提取现金，可以到购买网点办理提前兑付。
产褥感染是指()
装配滚动轴承时，过盈量非常大时，可用温差法装配，可将轴承在（）的低温下冷却后装在轴承座中。
按课程资源的功能划分，科学课程资源可以分为学校课程资源、家庭课程资源和社区课程资源。()
确保完成生产工艺验证是谁的职责？
一种胸腺发育缺陷、细胞免疫功能丧失，表现无毛、裸体的小鼠是（）
肾病综合征无下列哪种症状（）
什么是受热面积灰？
螺杆式启闭机一般不设制动器（）。