“一阶谓词演算语义”的概念、定义、翻译、参考文献-科学参考

单词	一阶谓词演算语义
释义	一阶谓词演算语义 Encyclopedia 文学一阶谓词演算释 semantics of first order predicate calculus一阶谓词演算语义借助于一阶谓词演算知识库与这个知识库所模拟的外部世界中的客体、性质和关系而获得的关于这些客体、性质和关系的语义。
随便看	Selected Passages of Jiang Miaoxiang’s Peking Opera Performance Selected Passages of Qiu Shengrong's Peking Opera Plays Selected Passages of Shang Xiaoyun's Peking Opera Plays Selected Passages of Tan Xinpei's Peking Opera Plays Selected Passages of Xun Huisheng’s Peking Opera Selected Passages of Zhang Junqiu’s Peking Opera Selected Peking Opera Passages of Ma Lianliang Selected Peking Opera Scores of Guan Yanong Selected Peking Opera Scores of Liu Jidian Selected Pingju Opera of Cheng Zhaocai Selected Plays of Ancient Chinese Drama from the Royal Library of San Lorenzo Selected Plays of Hui Tune Opera of Ming Dynasty Selected Plays of Hunan’s Native Opera Selected Plays of Sichuan Opera Selected Poems by Eighteen Poets Selected Poems by Fifteen Poets of the Song Dynasty Selected Poems by George Byron Selected Poems by Guangdong Poets Selected Poems by Poets from Yangzhou Prefecture Selected Poems by the Renowned Poets of the Song and Yuan Selected Poems by Three Poets from Guangdong Selected Poems of Danyang Natives Selected Poems of Shicang in Past Dynasties Selected Poems of Tang Baijia Selected Poems of Tang Dynasty

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