Covers
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.
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 Foundations.
Mathematical Logic and Formal Languages.
Big Data.
Logic programming.
Machine theory.
Big data.
Mathematical models.