Hits:

Affiliation of Author(s):数学与统计学院

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