intuitionistic type theory 中文意思是什麼
intuitionistic type theory
解釋
歸納類型- intuitionistic : 直觀的
- type : n 1 型，類型，（工業產品的）品種；風格，型式。2 典型，榜樣，樣本，樣板，模範，範本；典型人物；具...
- theory : n. 1. 理論，學理，原理。2. 學說，論說 （opp. hypothesis）。3. 推測，揣度。4. 〈口語〉見解，意見。
-
目前還沒有intuitionistic type theory例句。
分享友人