Sui, Yuefei.
Overview
| Works: | 1 works in 5 publications in 1 languages | |
|---|---|---|
Titles
R-CALCULUS = a logic of belief revision /
by:
Sui, Yuefei.; SpringerLink (Online service); Li, Wei.
(Electronic resources)
R-calculus.. II,. Many-valued logics
by:
Li, Wei.; Sui, Yuefei.; SpringerLink (Online service)
(Electronic resources)
R-calculus.. V,. Description logics
by:
Li, Wei.; Sui, Yuefei.; SpringerLink (Online service)
(Electronic resources)
R-calculus.. III,. Post three-valued logic
by:
Li, Wei.; Sui, Yuefei.; SpringerLink (Online service)
(Electronic resources)
R-calculus.. IV,. Propositional logic
by:
Li, Wei.; Sui, Yuefei.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Computer logic.
Calculus.
Logic in AI.
Logic, Symbolic and mathematical.
Mathematics of Computing.
Description logics.
Big Data.
Formal Languages and Automata Theory.
Proof theory.
Propositional calculus.
Mathematical Modeling and Industrial Mathematics.