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.
Computer logic.
Artificial intelligence.
Formal Languages and Automata Theory.
Logic in AI.
Mathematics of Computing.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Big Data.
Description logics.
Logic programming.
Machine theory.
Big data.
Mathematical models.
Calculus.