Perspectives in Formal Induction, Revision and Evolution

Wei Li & Yuefei Sui
Serie • 4 libros • Computadoras
R-Calculus, II: Many-Valued Logics R-Calculus, II: Many-Valued Logics
Libro 2
R-Calculus, II: Many-Valued Logics
Wei Li & Yuefei Sui
R-Calculus, IV: Propositional Logic R-Calculus, IV: Propositional Logic
Libro 4
R-Calculus, IV: Propositional Logic
Wei Li & Yuefei Sui
R-Calculus, V: Description Logics R-Calculus, V: Description Logics
Libro 5
R-Calculus, V: Description Logics
Wei Li & Yuefei Sui
R-Calculus, VI: Finite Injury Priority Method R-Calculus, VI: Finite Injury Priority Method
Libro 6
R-Calculus, VI: Finite Injury Priority Method
Wei Li & Yuefei Sui