Hits:
Title of Paper:Deduction Theorem For Symmetric Cirquent Calculus
Journal:Quantitative Logic And Soft Computing 2010, Vol 2
Correspondence Author:许文艳
Volume:82
Page Number:121-126
Translation or Not:No
Date of Publication:2010-01-01
Date:2024-04-08