网站首页
词典首页
请输入您要查询的英文单词或汉字:
词汇
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-2024 tbdmj.com All Rights Reserved
更新时间:2025/6/19 2:18:28