网站首页
词典首页
请输入您要查询的英文单词或汉字:
词汇
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.
相反的,在内涵类型论中,类型检查是可判定性的,但是很多数学概念的表达是不标准的,因为缺乏外延推理。
随便看
Kozawa什么意思翻译
Kozayev什么意思翻译
Kozbek什么意思翻译
kozberg什么意思翻译
Kozdera什么意思翻译
Kozderka什么意思翻译
Koze什么意思翻译
Kozeikin什么意思翻译
Kozeko什么意思翻译
Kozel什么意思翻译
Kozelek什么意思翻译
Kozelets'什么意思翻译
Kozeli什么意思翻译
Kozelka什么意思翻译
Kozelkino什么意思翻译
Kozelkov什么意思翻译
Kozello什么意思翻译
Kozel'shchyna什么意思翻译
kozelsk什么意思翻译
Kozel'sk什么意思翻译
Kozelski什么意思翻译
kozelskiy什么意思翻译
Kozelskiy什么意思翻译
Kozel'skiy Rayon什么意思翻译
kozelsks什么意思翻译
Kozelsky什么意思翻译
Kozeluha什么意思翻译
Kozen什么意思翻译
kozenczak什么意思翻译
Kozeni什么意思翻译
精炼在线网英汉汉英双解词典包含9999860条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 my910.com All Rights Reserved
更新时间:2026/10/13 8:00:42