前束范式

prenex normal【数】;prenex normal form【数】

暂无补充释义。

相关词条

prenex【数】

quasi-prenex disjunctive kernel normal form function【数】

prenex-normal form

prenex disjunctive normal form【数】

quasi-prenex conjunctive kernel normal form function【数】

prenex form

prenex-disjunctive normal form

prenex conjunctive normal form【数】