请输入您要查询的英文单词或汉字:
单词
theory of class
释义
theory of class
基本
例句
类型论
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.
相反的,在内涵类型论中,类型检查是可判定性的,但是很多数学概念的表达是不标准的,因为缺乏外延推理。
随便看
不甐
不甘
不甘于
不甘人后
不甘人後
不甘受人欺负
不甘受辱
不甘后人
不甘失业
不甘失败
不用看
不用着急
不用稿子的发言
不用药的
不用药者
不用著急
不甘寂寞
不甘居人后
不甘屈居人下
不甘後人
不甘心
不甘心失败
不甘於
不甘沉沦
不甘示弱
英汉汉英双解词典包含9999994条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2023 Tbdmj.com All Rights Reserved
京ICP备2021023879号
更新时间:2024/11/14 1:06:43