M. J. C. Gordon
4 published titles
Mechanized reasoning and hardware design
(Contributor)
1 edition
- ISBN: 0135724058
- Prentice Hall
- 1992
- Details
Higher order logic theorem proving and its applications
(Contributor)
1 edition
- ISBN: 0444898808
- North-Holland
- 1993
- Details
Introduction to HOL : a theorem proving environment for higher order logic
(Contributor)
1 edition
- ISBN: 0521441897
- Cambridge University Press
- 1993
- Details
Mechanised Reasoning and Hardware Design
(Contributor)
1 edition
- ISBN: 0135724058
- Prentice-Hall
- Details
