代數(shù)等式系有窮公理化的一個(gè)擴(kuò)充定理

作 者： 王駒 趙希順   作者單位：   刊 名： 軟件學(xué)報(bào)  ISTIC EI PKU 英文刊名： JOURNAL OF SOFIWARE  年，卷(期)： 1999 10(3)  分類號：   關(guān)鍵詞：  

【代數(shù)等式系有窮公理化的一個(gè)擴(kuò)充定理】相關(guān)文章：

模糊邏輯代數(shù)的Loomis-Sikorski表現(xiàn)定理04-26

泛邏輯學(xué)中UB代數(shù)的(U-Fuzzy)同態(tài)定理04-26

均衡度公理化定義的改進(jìn)04-26

一個(gè)不等式的推廣及應(yīng)用04-27

逆步李代數(shù)g(A)的導(dǎo)子代數(shù)04-26

關(guān)于經(jīng)典球定理的一個(gè)曲率補(bǔ)償現(xiàn)象04-26

Cartan型李超代數(shù)H的導(dǎo)子代數(shù)04-26

Z-代數(shù)格和Z-代數(shù)交結(jié)構(gòu)04-26

茶葉公司擴(kuò)充項(xiàng)目策劃書04-26

關(guān)于極限定理的一個(gè)結(jié)果及其推廣04-27