Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
(1994)
Journal Article
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),
All Outputs (2)
Adobe's Acrobat -- providing the missing link? (1994)
Journal Article
Brailsford, D. F. (1994). Adobe's Acrobat -- providing the missing link?Adobe's Acrobat software, released in June 1993, is based around a new Portable Document Format (PDF) which offers the possibility of being able to view and exchange electronic documents, independent of the originating software, across a wide variety... Read More about Adobe's Acrobat -- providing the missing link?.