Normal view
MARC view
Entry Personal Name
000 - LEADER
- fixed length control field: 00740cz 2200133n 4500
000 - LEADER
- fixed length control field: 1
001 - CONTROL NUMBER
- control field: 33915
003 - CONTROL NUMBER IDENTIFIER
- control field: P5A
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20221101114438.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 910307n| acannaab| |a aaa |||||
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
- LC control number: n 91023249
035 ## - SYSTEM CONTROL NUMBER
- System control number: oca02907687
040 ## - CATALOGING SOURCE
- Original cataloging agency: DLC
- Transcribing agency: DLC
- Modifying agency: DLC
100 1# - HEADING--PERSONAL NAME
- Personal name: Clarke, E. M.,
- Dates associated with a name: 1945-
670 ## - SOURCE DATA FOUND
- Source citation: DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer Science). Computer-aided verification'90, 1991:
- Information found: CIP t.p. (E.M. Clarke) data sheet (b. 7-27-45)
670 ## - SOURCE DATA FOUND
- Source citation: DIMACS Workshop on Computer Aided Verification (1990 : Ctr. for Discr. Math. and Theor. Comp. Science). Computer-aided verification, c1991:
- Information found: CIP t.p. (E.M. Clarke) verso (Edmund M. Clarke; Carnegie-Mellon Univ., Pittsburgh, PA)