Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings (Lecture Notes in Computer Science)

ISBN-13: 9783540615873

ISBN-10: 3540615873

Author: Von Wright, J.; Grundy, J.; Harrison, J., Eds.

Edition: Annotated edition

Binding: Paperback

Publisher: New York, NY, U.S.A. Springer-Verlag New York, Incorporated .

Published: 1996

Sell this book           Buy or Rent?