“predicate calculus”的概念、定义、翻译、参考文献-科学参考

单词	predicate calculus
释义	predicate calculus Mathematics ＞数理逻辑与数学基础＞模型论＞释义 predicate calculus谓词演算 predicate calculus谓词演算^† Computer 理论计算机科学程序理论释文 predicate calculus谓词演算
随便看	paraclosed paracoccidioidomycosis paracompact paracompact Hausdorff space paracompactification paracompactifying family of supports paracompact manifold paracompact metric space paracompact nearness space paracompactness paracompactness criterion paracompact pair paracompact space paracompact topological space paracompactum paracomplex paracomplex number paraconductivity paracone/ paraconid paraconsistent logic paraconsistent logic approach to paradox solution paracontact paraconvex paraconvex group paraconvex set

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。