Cover Image
Read Now

1
by Li, Wei, Sui, Yuefei
Published 2021
Springer Nature Singapore
Table of Contents: “... Logics -- R-calculi for Modal Logic -- R-calculi for Logic Programming -- R-calculi for First-order Logic...”
Cover Image
Read Now

2
by Li, Wei, Sui, Yuefei
Published 2022
Springer Nature Singapore
Subjects: “...Logic programming...”
Cover Image
Read Now

3
by Li, Wei, Sui, Yuefei
Published 2023
Springer Nature Singapore
Subjects: “...Logic programming...”
Cover Image
Read Now

4
by Li, Wei, Sui, Yuefei
Published 2022
Springer Nature Singapore
Subjects: “...Logic programming...”
Cover Image
Read Now

5
by Li, Wei, Sui, Yuefei
Published 2024
Springer Nature Singapore
Subjects: “...Logic programming...”