单词	自动定理证明
释义	自动定理证明automatic theorem proving
随便看	流线型政府的意思流线型机身的意思流线型桥艛的意思流线型汽车的意思流线型流的意思流线型流动的意思流线型--流线化的意思流线型火车的意思流线型物的意思流线型的的意思流线型管的意思流线型罩的意思流线型舵的意思流线型蒸汽机车的意思流线型起落架支柱的意思流线型运动的意思 [流线]外置符的意思流线--小河--流的意思流线座标系的意思流线式滤器的意思流线式过滤器的意思流线式过滤机的意思流线形的意思流线形体的意思流线形物体的意思