请输入您要查询的字词:
单词
范畴语义学
释义
范畴语义学
Encyclopedia
理学
类型理论
释
categorical semantics
范畴语义学
运用范畴论中的概念和性质给出计算机语言的形式语义定义。
Mathematics
categorical semantics
范畴语义学
随便看
mean absolute magnitude
mean absorption coefficient
mean activity coefficient of ions
mean age
mean age at death
mean age of child bearing
mean air temperature
mean amount of information
mean anomaly
mean arterial pressure
mean average precision
mean caliper diameter
mean circulatory filling pressure
mean citation rate
mean cluster count per site
mean collision time
mean concentration function
mean-conjugate curve
mean-conjugate directions
mean continuity
mean contour
mean convergence
mean cross-sectional measure
mean crowding
mean curvature
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/1/15 4:41:16