Normal view
MARC view
- Melham, T. F.
Entry Personal Name
001 - CONTROL NUMBER
- control field: 151812
003 - CONTROL NUMBER IDENTIFIER
- control field: TR-AnTOB
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20260113133058.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 920507n| acannaab |a aaa
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
- LC control number: n 92049837
040 ## - CATALOGING SOURCE
- Original cataloging agency: DLC
- Language of cataloging: eng
- Description conventions: rda
- Transcribing agency: DLC
- Modifying agency: TR-AnTOB
100 10 - HEADING--PERSONAL NAME
- Personal name: Melham, T. F.
- Fuller form of name: (Tom F.)
400 10 - SEE FROM TRACING--PERSONAL NAME
- Personal name: Melham, Tom
400 10 - SEE FROM TRACING--PERSONAL NAME
- Personal name: Melham, T.
- Fuller form of name: (Tom)
670 ## - SOURCE DATA FOUND
- Source citation: 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:
- Information found: CIP t.p. (T.F. Melham; Univ. of Cambridge Computer Lab., Cambridge, U.K.) book t.p. (T.F. Melham) p. ix (Dr. Tom Melham)
670 ## - SOURCE DATA FOUND
- Source citation: Higher order logic and hardware verification, 1993:
- Information found: t.p. (T. Melham)
670 ## - SOURCE DATA FOUND
- Source citation: Correct hardware design and verification tools, 2001:
- Information found: CIP t.p. (Tom Melham) data sheet (b. Jan. 16, 1960)
