当前位置：首页 > 英语词典 > 正文

    automatic theorem proving

    详细解释:【计】 自动定理证明

上一位
返回列表

下一位
open the pleadings

别人正在查找