Normal view
MARC view
Entry Personal Name
000 - LEADER
- fixed length control field: c # n
000 - LEADER
- fixed length control field: 1
001 - CONTROL NUMBER
- control field: 42650
003 - CONTROL NUMBER IDENTIFIER
- control field: P5A
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20221101140333.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 870302n| acannaab| |n aaa |||||
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
- LC control number: n 86031697
035 ## - SYSTEM CONTROL NUMBER
- System control number: oca01798905
040 ## - CATALOGING SOURCE
- Original cataloging agency: DLC
- Transcribing agency: DLC
- Modifying agency: DLC
100 1# - HEADING--PERSONAL NAME
- Personal name: Lifschitz, Vladimir
670 ## - SOURCE DATA FOUND
- Source citation: His Mechanical theorem proving in the USSR, c1986:
- Information found: t.p. (Vladimir Lifschitz) fwd. (Russian emigre to the U.S.)
670 ## - SOURCE DATA FOUND
- Source citation: Artificial intelligence and mathematical theory of computation, c1991:
- Information found: CIP t.p. (Vladimir Lifschitz, Dept. of Computer Sci., Univ. of Tex. at Austin) data sht. (b. 5/30/47)