Sui, Yuefei.
概要
| 作品: | 1 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
R-CALCULUS = a logic of belief revision /
by:
Sui, Yuefei.; SpringerLink (Online service); Li, Wei.
(書目-電子資源)
R-calculus.. II,. Many-valued logics
by:
Li, Wei.; Sui, Yuefei.; SpringerLink (Online service)
(書目-電子資源)
R-calculus.. V,. Description logics
by:
Li, Wei.; Sui, Yuefei.; SpringerLink (Online service)
(書目-電子資源)
R-calculus.. III,. Post three-valued logic
by:
Li, Wei.; Sui, Yuefei.; SpringerLink (Online service)
(書目-電子資源)
R-calculus.. IV,. Propositional logic
by:
Li, Wei.; Sui, Yuefei.; SpringerLink (Online service)
(書目-電子資源)
主題
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.