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

    first-order predicate logic

    详细解释:【计】 一阶谓词逻辑