请输入您要查询的字词:
单词
R-calculus
释义
R-calculus
Encyclopedia
理学
形式化
释
R-calculus
R-演算
基于逻辑连接词和量词进行推理的一个信念修正算子。
随便看
词例化
词例化程序
词例还原
词典
词典中观结构
词典义项
词典代字号
词典体例
词典例证
词典修订
词典凡例
词典参见
词典参见结构
词典学
词典学国际年刊
词典学学刊
词典学概论
词典宏观结构
词典对等词
词典序
词典微观结构
词典总体设计
词典排印
词典排检法
词典插图
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/7/9 20:51:02