您要查找的是不是：
- Godel蘊涵算子Godel implication operator
- Godel蘊涵算子的導出算子G3the derived operator G3 of Godel implication operator
- 蘊涵算子implication operator
- 蘊涵算子族family of implication operator
- Godel語(yǔ)言Godel
- 蘊涵算子Lpimplication operator Lp
- NMp蘊涵算子implication operator NMp
- 蘊涵contain
- 發(fā)現這種不可證明性的是奧地利數學(xué)天才庫爾特·高戴爾(Kurt Godel),不幸的是他在晚年發(fā)了瘋。Their unprovability was discovered by an Austrian mathematical genius called Kurt Godel, who unfortunately went insane toward the end of his life.
- 蘊涵算子Rpimplication operator Rp
- Luk蘊涵算子Lukasiewicsz implication operator
- δ算子δ-operator
- "或非" 算子NOR operator
- 蘊涵圖implication diagram
- 譜算子spectral operator
- 蘊涵代數implication algebras
- 流形上的偏微分算子partial differential operator on manifold
- 蘊涵式implications
- Ｍ－生長(cháng)算子M-accretive operator
- 蘊涵項implicant
