Melham, T. F. (Tom F.)

ID:DA07893673

別名: Melham, Tom

Melham, T

同姓同名の著者を検索

検索結果6件中 1-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

所蔵館12館
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

所蔵館29館
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

所蔵館60館
4

Higher order logic and hardware verification

T. Melham

Cambridge University Press 1993 Cambridge tracts in theoretical computer science 31

所蔵館28館
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

所蔵館19館
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

所蔵館8館

この著者を外部サイトでさがす

関連著者

ページトップへ