Reading Length
Home
Speed Tests
Login
Pierangelo Miglioli
Identifiers
Open Library
OL7923882A
Books by Pierangelo Miglioli
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
