VIAF

Virtual International Authority File

Search

Melham, T. F. (Tom F.) Library of Congress/NACO National Library of Israel

Melham, Thomas F., 1960-.... Sudoc [ABES], France

Melham, Tom BIBSYS

Melham, Tom F. National Library of France

Melham, T. F. German National Library

Melham, Tom (Tom F.) National Library of the Netherlands

Melham, T. F. (Tom F.), 1960- National Library of the Czech Republic

VIAF ID: 46847876 (Personal)

Permalink: https://viaf.org/viaf/46847876

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (10)

Open Section Close SectionWorks

Title Sources
Alaska's wildlife treasures BIBSYS
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 Library of Congress/NACO Sudoc [ABES], France BIBSYS National Library of Israel
Higher order logic and hardware verification, 1993: National Library of France German National Library Library of Congress/NACO Sudoc [ABES], France National Library of Israel
Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings Library of Congress/NACO Sudoc [ABES], France
IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience (1992 : Nijmegen, Netherlands). Theorem provers in circuit design, 1992: Library of Congress/NACO National Library of Israel
Introduction to HOL : a theorem proving environment for higher order logic National Library of France Library of Congress/NACO
John Muir's wild America BIBSYS
Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings Library of Congress/NACO National Library of the Netherlands BIBSYS Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (7)

Open Section Close Section About

Open Section Close Section History of VIAF ID:46847876 (17)