公理系統
拼音:gōng lǐ xì tǒng 英文解釋:
【計】 Armstrong axiomatic Arms-trong; axiomatic system相關對話:
- Kim BBruce於1978年提出了三價邏輯L(Q)的邏輯公理系統。
Kim BBruce gave a system of axioms for second order logic L(Q)
- 歐幾里德公理系統中幾個公理的獨立性
The Independence of Several Axioms in Euclidean System
- Bruce於1978年提出二階邏輯L(Q)的概念和公理系統。
Kim B Bruce gave a system of axioms lor second order logic L(Q)
- Bruce於1978年提出二階邏輯L(Q)的概念和公理系統。
Kim B. Bruce gave a system of axioms lor second order logic L(Q).
- Kim B.Bruce於1978年提出了三價邏輯L(Q)的邏輯公理系統。
Kim B.Bruce gave a system of axioms for second order logic L(Q).
相關詞語