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