请输入您要查询的字词:
单词
R-calculus
释义
R-calculus
Encyclopedia
理学
形式化
释
R-calculus
R-演算
基于逻辑连接词和量词进行推理的一个信念修正算子。
随便看
王导
王寿云
王寿仁
王尊三
王小亭
王小妮
王小帅
王小平
王小波
王小波、李顺起义
王小燕
王小玉
王小逸
王少卿
王少堂
王少楼
王少舫
王尔德,O.
王尔碑
王尘无
王尚絅
王居士砖塔铭
王屋
王屋山
王屋山-云台山风景名胜区
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/11/2 10:28:54