Melham, T. F. (Tom F.)

ID:DA07893673

Alias Name

Melham, Tom

Melham, T

Search authors sharing the same name

Search Results1-6 of 6

1

Theorem proving in higher order logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings

Joe Hurd, Tom Melham (eds.)

Springer c2005 Lecture notes in computer science 3603

Available at 12 libraries
2

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

Tiziana Margaria, Tom Melham (eds.)

Springer c2001 Lecture notes in computer science 2144

Available at 29 libraries
3

Higher order logic theorem proving and its applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings

Thomas F. Melham, Juanito Camilleri, (eds.)

Springer-Verlag c1994 Lecture notes in computer science 859

: gw , : us

Available at 60 libraries
4

Higher order logic and hardware verification

T. Melham

Cambridge University Press 1993 Cambridge tracts in theoretical computer science 31

Available at 28 libraries
5

Introduction to HOL : a theorem proving environment for higher order logic

edited by M.J.C. Gordon and T.F. Melham

Cambridge University Press 1993

Available at 19 libraries
6

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

edited by V. Stavridou, T.F. Melham, R.T. Boute

North-Holland 1992 IFIP transactions A . Computer science and technology ; 10

Available at 8 libraries

Melham, T. F. (Tom F.)

Search Results1-6 of 6

Search this author

Related Authors