ITT系统相关硕士博士期刊学术论文 - 搜论网

ITT系统相关论文

ITT系统的一些性质

作者给出关于不交并类型的新的消去规则，并且证明新规则与原先的消去规则等价。在本文中，Ｎｋ被定义成类型Ｎ的子集，以及Ｎｋ的所有规则被导出，这......

期刊

ITT系统性质 Intuitionistic type theory disjoint union type of natural numbers.

智能轮胎相继开发

...

期刊

智能轮胎技术 ITT系统汽车监测装置工作原理

看过本文同时还关注