10. TPHOLs 1997:
Murray Hill, NJ, USA
Elsa L. Gunter, Amy P. Felty (Eds.):
Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings.
Lecture Notes in Computer Science 1275 Springer 1997, ISBN 3-540-63379-0
Copyright © Sat Nov 28 22:23:57 2009
by Michael Ley (ley@uni-trier.de)