主页
学科
搜索
账户
常见问题
当前学科：人工智能
题目：
未知类型
自动定理证明的常用方法有3大类：自然演绎法、判定法、定理证明器。()
A.正确
B.错误
答案：
<查看本题扣1积分>
查看答案
答案不对？请尝试站内搜索
推荐知识点:
严禁加油（气）站卸油（气）作业时不有效连接静电接地线和无人监护；严禁在卸油作业时利用收油罐进行（）。
1991年6月，当选为俄罗斯总统的是（）
在过电流保护措施中，过电流防护电器设置参数应满足的要求有（）。
关于主动脉夹层剥离，最重要、最突出的症状是
某地一项有关高血压的横断面研究表明：男性45~55岁组有高血压者占13%，女性占15%。从而得出结论，该年龄组男性患高血压的危险性较女性小。该结论（）
增加顺从的技巧有（）。
地方性砷中毒的病区类型包括（）
构造嵌入式开发环境有哪几种形式？
跨区域灭火救援行动本省（市）所属支队由（）调集，友邻省、市所属支队由公安部消防局调集。
教师不仅是教育信息源，也是教学过程中的特殊媒体。()