请输入您要查询的字词:
单词
类型-逻辑语法
释义
类型-逻辑语法
Encyclopedia
哲学
逻辑
释
type-logical grammar
类型-逻辑语法
一种建立在类型-逻辑语义学基础上的范畴语法。是范畴类型逻辑序列发展的一个阶段。
随便看
相对收敛
相对收敛的
相对效率
相对数
相对整基
相对方差
相对星表
相对曲率
相对曲率向量
相对曲面
相对有界空间
相对有补格
相对极
相对极值
相对极大值
相对极大误差
相对极小值
相对极小模型
相对构型
相对标准偏差
相对标量
相对校正因子
相对根系
相对梯度
相对概念
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/7/8 8:30:10