Entry Personal Name

Number of records used in: 1

001 - CONTROL NUMBER

• control field: 86497

003 - CONTROL NUMBER IDENTIFIER

• control field: IE-CoIT

010 ## - LIBRARY OF CONGRESS CONTROL NUMBER

• LC control number: 45468

005 - DATE AND TIME OF LATEST TRANSACTION

• control field: 20171120154502.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: (DLC)n 80082908

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-

400 1# - SEE FROM TRACING--PERSONAL NAME

• Personal name: Bibel, Wolfgang,
• 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. fur̈ Inf. Tech. Univ. Mun̈chen, Germany; b. 10/28/38)

670 ## - SOURCE DATA FOUND

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