请输入您要查询的百科知识:
词条
Martin-Löf type theory
释义
> Intuitionistic type theory {{R from alternative name}}
随便看
List of Italian journalists
List of Italian lawyers
List of Italian Liberal Party politicians
List of Italian mathematicians
List of Italian military vehicles of the Second World War
List of Italian Ministers of Agriculture
List of Italian newspapers
List of Italian number-one hits of 2000
List of Italian number-one hits of 2009
List of Italian pasta
List of Italian philosophers
List of Italian place names in Dalmatia
List of Italian place names in Istria
List of Italian Politicians
List of Italian politicians
List of Italian Presidents by longevity
List of Italian Presidents by Longevity
List of Italian queens
List of Italian records in athletics
List of Italian records in swimming
List of Italian regions by area
List of Italian regions by GDP
List of Italian regions by GDP (per capita)
List of Italian regions by GDP per capita
List of Italian regions by population
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。
Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号
更新时间:2024/11/16 9:14:38