Entry Personal Name

Number of records used in: 2

000 - LEADER

• fixed length control field: 00588cz 2200157n 4500

000 - LEADER

• fixed length control field: 1

001 - CONTROL NUMBER

• control field: 39334

003 - CONTROL NUMBER IDENTIFIER

• control field: P5A

005 - DATE AND TIME OF LATEST TRANSACTION

• control field: 20221101140252.0

008 - FIXED-LENGTH DATA ELEMENTS

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

010 ## - LIBRARY OF CONGRESS CONTROL NUMBER

• LC control number: n 82093895

035 ## - SYSTEM CONTROL NUMBER

• System control number: oca00790515

040 ## - CATALOGING SOURCE

• Original cataloging agency: DLC
• Transcribing agency: DLC
• Modifying agency: DLC

100 1# - HEADING--PERSONAL NAME

• Personal name: Loveland, Donald W.

670 ## - SOURCE DATA FOUND

• Source citation: His Automated theorem proving, 1977.

670 ## - SOURCE DATA FOUND

• Source citation: Conf. on Automated Deduction (6th : 1982 : New York, N.Y.). 6th Conf. on ... 1982:
• Information found: CIP t.p. (D. Loveland) data sheet (b. 12/26/34)

670 ## - SOURCE DATA FOUND

• Source citation: Automated theorem proving, 1984:
• Information found: CIP t.p. (D.W. Loveland)