Heyting
基本解釋
- n.海廷
英漢例句
- ON PROPERTIES BETWEEN ROBBINS ALGEBRA AND HEYTING ALGEBRA
關(guān)於Robbins代數(shù)與Heyting代數(shù)的類似性質(zhì) - The conditions for Heyting algebra to be a Boole algebra and the characteristics of Heyting algebras
Heyting代數(shù)成爲(wèi)B(tài)oole代數(shù)的條件及其特征 - Heyting algebra
Heyting代數(shù)