α -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

112 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.
Sort by

Engineering

Computer Science