基于规则的逆向演绎系统的使用条件（）
A:事实表达式是文字合取形式
B:事实表达式是任意形式
C:规则形式为：W→L或W→L1∧L2其中L为单文字，W为任意形式。
D:目标公式是任意形式
出自：计算机科学

提示：
同一【IP】的非会员用户每天可免费获取10次答案

收藏本站【zk.995w.com】，下次访问不迷路

本站试题总数:【10252937】个 (题库试题定时更新)