256查询网 英汉词典
保存到桌面 手气不错
意见/报错
首页> 英汉词典>typological theory的意思

typological theory

英 美
  • 类型论

双语例句

    1. In contrast in intensional Type Theory type checking is decidable, but the representation of many mathematical concepts is non-standard due to a lack of extensional reasoning.
      相反的，在内涵类型论中，类型检查是可判定性的，但是很多数学概念的表达是不标准的，因为缺乏外延推理。

相关词汇

typo typosis

大家正在查

Typosyllismagnipectinis是什么意思 Tyra是什么意思 Tyrl是什么意思 Tyrus是什么意思 TYRAP是什么意思 tyratron是什么意思 Tyrwhitt是什么意思 Tyrnauer是什么意思 tyramine是什么意思 tyricine是什么意思
随机推荐查询工具
日期差计算 在线秒表 万年日历查询 迅雷,快车,旋风链接加密解密 食谱大全 端口扫描 中草药 友情链接检查 安全期计算 怀孕计算器 日出日没时刻 生男生女 体重测试 食物卡路里 公式计算器 快递查询 配色工具 常用电话号码 货币汇率兑换 未来时间查询 随机密码生成 论坛转贴工具 进制转换 简繁互转 汉字拼音转换 在线拼音输入法 在线五笔输入法 86版 文字竖排 在线计算器 个税计算器 体积容积换算 网页编辑器 MD5在线加密
Copyright © 2023 256查询网 All Rights Reserved

Copyright © 2023 www.256cha.com All Rights Reserved

256查询网 赣ICP备18009369号-6

本站部分资料来自网络，如有侵权请速与我们联系删除