文献引用
复制
首页
[{"ID":42420,"Name":"文学"},{"ID":44583,"Name":"语言文字"},{"ID":44652,"Name":"计算语言学及语料库语言学"},{"ID":44653,"Name":"计算语言学"},{"ID":44675,"Name":"一阶谓词演算"}]
一阶谓词演算语义
/semantics of first order predicate calculus/
最后更新 2024-10-23
浏览 194次
借助于一阶谓词演算知识库与这个知识库所模拟的外部世界中的客体、性质和关系而获得的关于这些客体、性质和关系的语义。
- 英文名称
- semantics of first order predicate calculus
- 所属学科
- 语言文字
京公网安备 11010202008139号
