Reading Length
Home
Speed Tests
Login
Ugo Moscato
Identifiers
Open Library
OL7923883A
Books by Ugo Moscato
Total count: 1
Theorem Proving with Analytic Tableaux and Related Methods
5th International Workshop, TABLEAUX '96, Terrasini , Italy, May 15 - 17, 1996. Proceedings
Springer
2014-03-12
