Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA

By clibrary on Mon, 06/23/2025 - 19:50
Author

E. Thomas Schubert, Philip J. Windley, James Alves-Foss

Publisher

Springer

Subject

Computer Science

Year

1995

Vol/Edition

971

ISBN

9783540447849

URL
http://dx.doi.org/10.1007/3-540-60275-5