请输入您要查询的字词:
单词
type-logical grammar
释义
type-logical grammar
Encyclopedia
哲学
逻辑
释
type-logical grammar
类型-逻辑语法
一种建立在类型-逻辑语义学基础上的范畴语法。是范畴类型逻辑序列发展的一个阶段。
随便看
拉格朗日量密度
拉格朗日问题
拉格朗日阶定理
拉格朗日陀螺
拉格朗日-雅可比方程
拉格朗日鞍点
拉格朗日预解式
拉格朗日,J.-L.
拉格朗日,J.L.
拉格泰姆
拉格泰姆时代
拉格洛夫,S.
拉梅
拉梅函数
拉梅利,A.
拉梅卵形线
拉梅参数
拉梅定理
拉梅常数
拉梅弹性参数
拉梅微分方程
拉梅曲线
拉梅环形山
拉梅系数
拉梅解
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/3/15 6:08:27