网站首页
词典首页
请输入您要查询的英文单词或汉字:
词汇
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.
相反的,在内涵类型论中,类型检查是可判定性的,但是很多数学概念的表达是不标准的,因为缺乏外延推理。
随便看
Douillot
Douilly
Douin
Douine
douineau
Douinot
douins
Douirat
Douiri
Douis
Douisne
Douit
douits
Dou: I wanted to go back with you.I love you
doujin
doujinonna
doujinshi
Doujon
Douk
douka
Doukaka
Doukan
Doukara
Doukas
Doukato
爱贷网英汉汉英双解词典包含9999994条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 520dai.com All Rights Reserved
更新时间:2026/8/16 18:15:02