Entry Personal Name

Number of records used in: 1

000 - LEADER

• fixed length control field: 00597nz 2200133n 4500

000 - LEADER

• fixed length control field: 1

001 - CONTROL NUMBER

• control field: 46519

003 - CONTROL NUMBER IDENTIFIER

• control field: P5A

005 - DATE AND TIME OF LATEST TRANSACTION

• control field: 20221101142018.0

008 - FIXED-LENGTH DATA ELEMENTS

• fixed length control field: 800811n| acannaab| |a aaa |||||

010 ## - LIBRARY OF CONGRESS CONTROL NUMBER

• LC control number: n 80082908

035 ## - SYSTEM CONTROL NUMBER

• System control number: oca00464165

040 ## - CATALOGING SOURCE

• Original cataloging agency: DLC
• Transcribing agency: DLC

100 1# - HEADING--PERSONAL NAME

• Personal name: Bibel, W.,
• Dates associated with a name: 1938-

670 ## - SOURCE DATA FOUND

• Source citation: Conference on Automated Deduction, 5th, Les Arcs, France, 1980.
• Information found: 5th Conference on Aut. Ded., Les Arcs, France, 1980, c1980 (a.e.) t.p. (W. Bibel) verso of t.p., etc. (Wolfgang Bibel, Inst. fÌur Inf. Tech. Univ. MÌunchen, Germany; b. 10/28/38)

670 ## - SOURCE DATA FOUND

• Source citation: His Automated theorem proving, 1982:
• Information found: t.p. (Wolfgang Bibel)