Reading Length
Home
Speed Tests
Login
Serenella Cerrito
Identifiers
Open Library
OL7978829A
Books by Serenella Cerrito
Total count: 1
Automated Reasoning with Analytic Tableaux and Related Methods
28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Springer
2019-08-14
