Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Xiaomei Zhong
Α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
Related publications
Determination of 3-Aryα-Resolution in Lattice-Valued Propositional Logic LP(X)
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
A Four Valued Logic
Resolution-Based Theorem Proving for Many-Valued Logics
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
On Cautiousness and Expressiveness in Interval-Valued Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Object-Based Semantic Classification Method of High Resolution Satellite Imagery Using Ontology
Interval-Valued Logic Metric Spaces
Lattice-Valued Binary Decision Diagrams
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Many-Valued Logic in Manufacturing
Quasi-Open Product Architecture andTechnological Lock-In
Annals of Business Administrative Science
