请输入您要查询的字词:
单词
范畴语义学
释义
范畴语义学
Encyclopedia
理学
类型理论
释
categorical semantics
范畴语义学
运用范畴论中的概念和性质给出计算机语言的形式语义定义。
Mathematics
categorical semantics
范畴语义学
随便看
interactive method
Interactive Multimedia Association
interactive multimedia system
interactive narration
interactive policing strategy
interactive polynomial time equals polynomial space problem
interactive polynomial time equals polynomial space problem, IP=PSPACE problem
interactive processing
interactive programming
interactive proof
interactive proofs
interactive protocol
interactive question answering
Interactive Retrieval System
interactive robot
interactive seepage
interactive system
interactive technique
interactive television
interactive television, ITV
interactive theory of personality vulnerability to depression
interactive translator
interactive TV advertising
interactive visualization
interactive whiteboard
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/3/2 0:12:57