Reading Length
Home
Speed Tests
Login
Revantha Ramanayake
Identifiers
Open Library
OL13099666A
Books by Revantha Ramanayake
Total count: 1
Automated Reasoning with Analytic Tableaux and Related Methods
32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Springer
2023-01-01
