R-Calculus, VI: Finite Injury Priority Method
Wei Li
R-Calculus, VI: Finite Injury Priority Method - 2025 - Springer Nature Singapore 2025 - Perspectives in Formal Induction, Revision and Evolution .
9789819758302
Computer Science
R-Calculus, VI: Finite Injury Priority Method - 2025 - Springer Nature Singapore 2025 - Perspectives in Formal Induction, Revision and Evolution .
9789819758302
Computer Science