请输入您要查询的字词:
单词
categorical semantics
释义
categorical semantics
Encyclopedia
理学
类型理论
释
categorical semantics
范畴语义学
运用范畴论中的概念和性质给出计算机语言的形式语义定义。
Mathematics
categorical semantics
范畴语义学
Computer
理论计算机科学
程序理论
释文
categorical semantics
范畴语义
随便看
长颈鹿步程
长颈龟
长额负蝗
长风公园
长驼峰
长驼峰周期
长驼峰星
长骨
长骨中的第一到达波
长鬣蜥
长鳍吻
长鳍篮子鱼
长鳍金枪鱼
长鼓舞
长鼻三趾马
长鼻哥
长鼻猴
閟宫
閤皂宗
閤门司
门
门体分流术
门兴格拉德巴赫
门内劳斯定理
门内劳斯点
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/5/13 20:44:14