Normal view
MARC view
- Lifschitz, Vladimir
Entry Personal Name
001 - CONTROL NUMBER
- control field: 128380
003 - CONTROL NUMBER IDENTIFIER
- control field: DLC
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20200909092758.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
040 ## - CATALOGING SOURCE
- Original cataloging agency: DLC
- Transcribing agency: DLC
- Modifying agency: DLC
100 10 - 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)
