【计】前束式, 前束形

prenex form

暂无补充释义。

相关词条

prenex【数】

quasi-prenex disjunctive kernel normal form function【数】

prenex-normal form

prenex disjunctive normal form【数】

quasi-prenex conjunctive kernel normal form function【数】

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

prenex-disjunctive normal form

prenex conjunctive normal form【数】