修正的G?del系统的子代数中F(S)的分划及升级算法

魏海新1，李晨晖2

Partitions of F(S) and properties of its upgrade algorithm in subalgebras of revised G?del system

WEI Haixin1, LI Chenhui2

计算机工程与应用 . 2012, (26): 44 -47 .