Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic

Hutton, Graham

Research Repository

Advanced Search

Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic

Hutton, Graham

Authors

Professor GRAHAM HUTTON GRAHAM.HUTTON@NOTTINGHAM.AC.UK
Professor of Computer Science

Citation

Hutton, G. (1994). Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic. Journal of Functional Programming, 4(4),

Journal Article Type	Article
Publication Date	Oct 1, 1994
Deposit Date	Oct 26, 2005
Publicly Available Date	Oct 9, 2007
Journal	Journal of Functional Programming
Print ISSN	0956-7968
Publisher	Cambridge University Press
Peer Reviewed	Not Peer Reviewed
Volume	4
Issue	4
Public URL	https://nottingham-repository.worktribe.com/output/1024625