Showing 1 - 2 of 2 Results
1.
Theorem Proving With Analytic Tableaux and Related Methods 5th International Workshop, Table... by Miglioli, P., Moscato, U., ... ISBN: 9783540612087 List Price: $74.95
2.
Theoretical Computer Science Proceedings of the Third Italian Conference, Mantova, 2-4 Novem... by Bohm, C., Bertoni, A., Migl... ISBN: 9789810200701 List Price: $113.00