请输入您要查询的字词:
单词
形式语义学
释义
形式语义学
Encyclopedia
文学
语义学
释
Formal Semantics
形式语义学
语言学中采用形式化的方法来刻画自然语言语义的一个分支。
哲学
逻辑
释
formal semantics
形式语义学
逻辑学和语言学的交叉学科。又称逻辑语义学。
Mathematics
formal semantics
形式语义学
Computer
理论计算机科学
程序理论
释文
formal semantics
形式语义学
随便看
上普里瓦洛夫算子
上曲面
上月贝科
上有向的
上有向集
上有理扩张
上有界函数
上有界变量
上有界复形
上有界子空间
上有界子集
上有界序列
上有界性原理
上有界滤过
上有界的
上有界算子
上有界集
上有限子集
上有限拓扑
上有限模
上有限滤子
上有限的
上有限群
上杉慎吉
上村岭虢国墓地
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/10/13 4:49:40