Hits:

Institution:数学与统计学院

Title of Paper:A formal system for propositional extended IF logic

Journal:Ruan Jian Xue Bao/Journal of Software

First Author:Xu, Wen-Yan

Document Code:EI 20154101350193

Volume:26

Issue:9

Page Number:2278-2285

Translation or Not:No

Date of Publication:2015-01-01

Included Journals:EI

Date:2018-06-08