Perspectives in Formal Induction, Revision and Evolution

Wei Li & Yuefei Sui
Series • 4 Books • Computers
R-Calculus, II: Many-Valued Logics R-Calculus, II: Many-Valued Logics
Book 2
R-Calculus, II: Many-Valued Logics
Wei Li & Yuefei Sui
R-Calculus, IV: Propositional Logic R-Calculus, IV: Propositional Logic
Book 4
R-Calculus, IV: Propositional Logic
Wei Li & Yuefei Sui
R-Calculus, V: Description Logics R-Calculus, V: Description Logics
Book 5
R-Calculus, V: Description Logics
Wei Li & Yuefei Sui
R-Calculus, VI: Finite Injury Priority Method R-Calculus, VI: Finite Injury Priority Method
Book 6
R-Calculus, VI: Finite Injury Priority Method
Wei Li & Yuefei Sui