作用域扩张相关硕士博士期刊学术论文

《离散数学》谓词逻辑中前柬范式的求解一直是一个难点。对前柬范式求解步骤进行分析和总结，对两种换名规则和换名情况进行分类和研......