基于一阶谓词逻辑的智能操作票一体化系统

万方数据《电气自动化》2021年第43卷第1期 !旦!曼塑g曼旦!鱼垒丑!盟!工曼曼塑旦ig型皇曼 Zhu Zhan Guan co．，厶d． Gu口ng如ou Cb凡fr0Z 跚d P舛hon 定稿