Melham, Tom
Melham, Tom (Tom F.)
Melham, T. F. (Tom F.)
VIAF ID: 46847876 ( Personal )
Permalink: http://viaf.org/viaf/46847876
Preferred Forms
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Alaska's wildlife treasures | |
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 | |
John Muir's wild America | |
Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings |