Skip to main content

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



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 (CUP)
Peer Reviewed Not Peer Reviewed
Volume 4
Issue 4
Public URL http://eprints.nottingham.ac.uk/id/eprint/244
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf

Files


hol-review.pdf (52 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf





You might also like



Downloadable Citations