Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
| Data(s) |
01/10/1994
|
|---|---|
| Formato |
application/pdf |
| Identificador |
http://eprints.nottingham.ac.uk/244/1/hol-review.pdf 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. |
| Idioma(s) |
en |
| Publicador |
Cambridge University Press |
| Relação |
http://eprints.nottingham.ac.uk/244/ |
| Tipo |
Article NonPeerReviewed |
