请输入您要查询的字词:
单词
范畴语义学
释义
范畴语义学
Encyclopedia
理学
类型理论
释
categorical semantics
范畴语义学
运用范畴论中的概念和性质给出计算机语言的形式语义定义。
Mathematics
categorical semantics
范畴语义学
随便看
unipotent component
unipotent element
unipotent elements
unipotent group
unipotent matrix
unipotent matrix group
unipotent part
unipotent radical
unipotent radical of algebraic group
unipotent representation
unipotent semigroup
unipotent stem cell
unipotent subgroup
unipotent transformation
uniprimitive
uniprimitive group
uniprimitive permutation group
unique
unique continuation theorem
unique decipherability
unique decodability
unique decodable code
unique decomposition theorem
unique ergodicity
unique existence
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/6/14 15:39:55