Melham, T. F. (Tom F.)
Melham, Tom F.
Melham, T.F.
Melham, Thomas F., 1960-....
Melham, Thomas F.
Melham, T.
Melham, T. F. (Tom F.), 1960-
Tom F. Melham britský počítačový odborník
VIAF ID: 279035404 ( Personal )
Permalink: http://viaf.org/viaf/279035404
Preferred Forms
- 200 _ | ‡a Melham ‡b Tom F.
- 100 1 _ ‡a Melham, T.
- 100 1 _ ‡a Melham, T. F.
- 100 1 _ ‡a Melham, T. F. ‡q (Tom F.)
- 100 1 0 ‡a Melham, T. F. ‡q (Tom F.)
-
-
-
-
-
- 100 1 _ ‡a Melham, Thomas F., ‡d 1960-....
-
- 100 0 _ ‡a Tom F. Melham ‡c britský počítačový odborník
4xx's: Alternate Name Forms (12)
5xx's: Related Names (3)
Works
Title | Sources |
---|---|
Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings | |
Higher order logic and hardware verification, 1993: | |
Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings | |
Introduction to HOL : a theorem proving environment for higher order logic | |
Introduction to HOL / ed. by M. J. C. Gordon and T. F. Melham. - Cambridge, 1993. | |
Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice, and Experience, Nijmegen, The Netherlands, 22-24 June 1992 | |
Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings |