Current position: Home > Research > Paper Publications
Paper Publications
Xingxing He*, Yang Xu, Jun Liu, Yingfang Li: α-Paramodulation method for a lattice-valued logic LnF(X) with equality. Soft Comput. 25(1): 251-261 (2021)
Translation or Not:no
Current position: Home > Research > Paper Publications
Translation or Not:no