请输入您要查询的字词:
单词
R-演算
释义
R-演算
Encyclopedia
理学
形式化
释
R-calculus
R-演算
基于逻辑连接词和量词进行推理的一个信念修正算子。
随便看
tabulating
tabulation
Tabun human remains
tabu search
TAC
TACACS
TACAN
tacca family
tac-function
Tacheng
Tacheng Diqu
Tacheng National Border Economy Cooperate Zone
Tacheng (Qoqek) Shi
tacheometry
Tachilek
Tachisme
tachistoscope
Tachixigou
tachocline
tachogenerator
tachograph
tachometer
tachometer generator
tachometry
tachykinin
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/6/11 10:15:45