Sui, Yuefei.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
R-calculus, VI = finite injury priority method /
by:
SpringerLink (Online service); Li, Wei.; Sui, Yuefei.
(Language materials, printed)
R-Calculus, II: Many-Valued Logics
by:
Li, Wei.; Sui, Yuefei.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
R-CALCULUS: A Logic of Belief Revision
by:
Sui, Yuefei.; Li, Wei.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
R-Calculus, III: Post Three-Valued Logic
by:
SpringerLink (Online service); Sui, Yuefei.; Li, Wei.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Subjects
Mathematical logic.
Computer science—Mathematics.
Mathematical Modeling and Industrial Mathematics.
Logic programming.
Computer logic.
Artificial intelligence.
Formal Languages and Automata Theory.
Logic in AI.
Machine theory.
Big data.
Mathematical models.
Mathematics of Computing.
Calculus.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Big Data.
Description logics.