Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy

By clibrary on Mon, 06/23/2025 - 20:13
Author

P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi

Publisher

Springer

Subject

Computer Science

Year

1996

Vol/Edition

1071

ISBN

9783540683681

URL
http://dx.doi.org/10.1007/3-540-61208-4