词典 / 科技

拟前束析取核范式函数

quasi-prenex disjunctive kernel normal form function【数】

暂无补充释义。

相关词条

拟前束合取核范式函数

quasi-prenex conjunctive kernel normal form function【数】

补充或纠正词条 →