prenex normal
prenex normal是什么意思、prenex normal怎么读
【计】 前束范式
prenex normal汉语翻译
【计】 前束范式