hide
Title:
Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96
Source Genre:
Proceedings
Creator(s):
von Wright, J., Editor
Grundy, J., Editor
Harrison, J., Editor
Affiliations:
-
Publ. Info:
Berlin, Germany : Springer
Pages:
-
Volume / Issue:
-
Sequence Number:
-
Start / End Page:
33 - 50
Identifier:
ISBN: 3540615873