请输入您要查询的字词:
单词
formal representation of believe
释义
formal representation of believe
Encyclopedia
文学
计算语言学
释
formal representation of believe
信念形式化表示法
在一阶谓词演算中,使用模态算子来表示人的信念的形式化方法。
随便看
命名障碍
命命鸟
命子
命我
命数法
命神星
命继
命运女神镶嵌地块
命运无常
命运线,或米拉舍维奇的小箱子
命运观
命途多舛的民族
命门
命题
命题mu演算
命题μ演算
命题中间逻辑
命题代数
命题值
命题公式
命题公理
命题函数
命题函项
命题变元
命题变元符号
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/8/1 19:55:14