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

Tools

Hutton, Graham (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). pp. 557-559.

Full text not available from this repository.
Item Type: Article
RIS ID: https://nottingham-repository.worktribe.com/output/1024625
Schools/Departments: University of Nottingham, UK > Faculty of Science > School of Computer Science
Depositing User: Hutton, Graham
Date Deposited: 26 Oct 2005
Last Modified: 04 May 2020 20:33
URI: https://eprints.nottingham.ac.uk/id/eprint/244

Actions (Archive Staff Only)

Edit View Edit View