Hits:

Title of Paper:命题逻辑公式的压缩表示及其相应的形式系统

Journal:模糊系统与数学

Correspondence Author:许文艳

Volume:25

Issue:1

Page Number:25-31

Translation or Not:No

Date of Publication:2011-05-01

Date:2024-04-08