网站首页
词典首页
请输入您要查询的英文单词:
单词
Martin-Lof's type theory
释义
Martin-Lof's type theory
网络
马丁洛夫类型理论
网络释义
1.
马丁洛夫类型理论
马丁洛夫类型理论
(
Martin-Lof's type theory
) 瑞典逻辑学家P.Martin-Lof于1971年提出的一个类型论形式系统。又称直觉主义类 …
iknow.seforge.org
例句
随便看
376
377
378
379
37th
38
380
381
385
386
387
389
.38 calibre
38th
38th parallel
39
39th
3-alkyl homologues
3-Amino-1,2,4-triazole
3-Amino-9-Ethylcarbazole
3B
3-Bromopropionic acid
3 BT
3-chloro-2-hydroxypropyl-trimethylammonium chloride
3-chloropropene
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/4 12:50:14