α -Paramodulation method for a lattice-valued logic L nF(X) with equality

Xingxing He, Yang Xu, J. Liu, Yingfang Li

Research output: Contribution to journal › Article › peer-review

103 Downloads (Pure)

Fingerprint

Dive into the research topics of 'α -Paramodulation method for a lattice-valued logic L nF(X) with equality'. Together they form a unique fingerprint.

Engineering

Computer Science