032 知识表达-2.2 一阶谓词逻辑表示法

书名：现代人工智能技术作者名：李远征等　编著本章字数：195更新时间：2024-12-30 14:10:00