Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
| Main Author: | |
|---|---|
| Format: | Article |
| Published: |
Cambridge University Press
1994
|
| Online Access: | https://eprints.nottingham.ac.uk/244/ |