题目内容
（请给出正确答案）
[主观题]
automated theorem proving的中文释义为()
automated theorem proving的中文释义为（)
A、自动定理证明
B、信息安全
查看答案
如果结果不匹配，请 联系老师 获取答案
题目内容
（请给出正确答案）
如果结果不匹配，请 联系老师 获取答案
题目内容
（请给出正确答案）
A、自动定理证明
B、信息安全
如果结果不匹配，请 联系老师 获取答案
更多“automated theorem proving的中文释义…”相关的问题
A．Y
B．N
C．NG
A special purpose lane system is probably advantageous in that ________.
A) it would require only minor changes to existing highways
B) it would achieve the greatest highway traffic efficiency
C) it has a lane for both automated and partially automated vehicles
D) it offers more lanes for automated vehicles
A.each
B.every
C.only
D.one
A．Y
B．N
C．NG
Which of the following is true about driving on an automated highway？
A) Vehicles traveling on it are assigned different lanes according to their destinations.
B) A car can join existing traffic any time in a mixed lane system.
C) The driver should inform. his car computer of his destination before driving onto it.
D) The driver should share the automated lane with those of regular vehicles.
A．Y
B．N
C．NG
In an automated highway system, all the driver needs to do is ________.
A) keep in the right lane
B) wait to arrive at his destination
C) keep in constant touch with the computer center
D) inform. the system of his destination by phone
When driving in an automated lane, the driver ________.
A) should harmonize with newly entering cars
B) doesn’t have to rely on his computer system
C) should watch out for potential accidents
D) doesn’t have to hold on to the steering wheel
