Cambridge University Press · Springer
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Higher Order Logic and Hardware Verification | 978-0-521-41718-1 (0-521-41718-X) | 1993 | |
| Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994: Proceedings | 978-0-387-58450-8 (0-387-58450-1) | 1994 | |
| Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic | 978-0-521-44189-6 (0-521-44189-7) | 1993 | M. J. C. Gordon |
F M. · T. F. · T. M · T Melham · Thomas F. Melham