Sui, Yuefei.
Overview
Works: | 0 works in 0 publications in 0 languages |
---|
Titles
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:
SpringerLink (Online service); Sui, Yuefei.; Li, Wei.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
R-Calculus, III: Post Three-Valued Logic
by:
Sui, Yuefei.; SpringerLink (Online service); Li, Wei.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Subjects
Mathematical logic.
Big Data.
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.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.