ISBN 3540602755 books & textbook
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings (Lecture Notes in Computer Science, 971)
Schubert, E. Thomas Windley, Phillip J. Alves-Foss, James
Springer /1995-08-23 Paperback / 416 Pages
isbn-10: 3540602755 / isbn-13: 9783540602750
