Hits:

Title of Paper:Extended IF逻辑的命题演算系统

Journal:软件学报

Correspondence Author:许文艳

Volume:26

Issue:9

Page Number:2278-2285

Translation or Not:No

Date of Publication:2015-09-01

Date:2024-04-09