R-CALCULUS: A Logic of Belief Revision

Wei Li, Yuefei Sui.

R-CALCULUS: A Logic of Belief Revision - Singapore Springer 2021

9789811629440


Logic programming. Machine theory. Mathematical logic. Mathematical models. Big data. Logic in AI. Formal Languages and Automata Theory. Mathematical Logic and Foundations. Mathematical Modeling and Industrial Mathematics. Big Data.
An institution deemed to be a University Estd. Vide Sec.3 of the UGC
Act,1956 under notification # F.12-23/63.U-2 of Jun 18,1964

© 2024 BITS-Library, BITS-Hyderabad, India.