prenex normal form

网络释义

1.	前束范式翻译与翻译辅助工具-->数理相关[转帖] ... 前束词\|\|prefix 前束范式\|\|prenex normal form 前项\|\|antecedent ... www.360doc.com
2.	前束标准型普通英汉小词典_翻译家(Fanyijia.com) ... 永真命题 tautology 前束标准型 prenex normal form 可满足的 satisfiable ... www.fanyijia.com

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。