我国的著名数学家（）在机器证明数学问题上进行了卓有成效的工作。
参考答案：吴文俊
下列各项中，可以免征车船税的是( )。
A．非机动驳船 B．低速货车C．专项作业车 D．养殖渔船
对总长度大于100米的船舶，泊位有效长度应当至少为船舶总长的：（）.
A.110％
B.115％
C.120％
D.125％
