考试
1970-01-01 08:00:00

求前束范式/ananas/latex/p/1002114

题目描述

求前束范式/ananas/latex/p/1002114

答案解析

利用改名规则将指导变项x及它的第一次出现替换成z,得到 由定理2.2得: 这就是前束范式

加载中...
AI正在思考中,请稍候...