Xiaomei Zhong

From MaRDI portal
Person:2198230

Available identifiers

zbMath Open zhong.xiaomeiMaRDI QIDQ2198230

List of research outcomes





PublicationDate of PublicationType
Contradiction separation based dynamic multi-clause synergized automated deduction2020-09-09Paper
\(\alpha\)-group quasi-lock semantic resolution method based on lattice-valued propositional logic \(LP(X)\)2018-09-03Paper
\(\alpha\)-group semantic resolution method based on lattice-valued propositional logic system \(\mathrm{LP}(X)\)2013-09-04Paper
General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic2013-08-01Paper
https://portal.mardi4nfdi.de/entity/Q49254822013-06-12Paper

This page was built for person: Xiaomei Zhong



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2198230&oldid=7404786"
Powered by MediaWiki