Lifschitz, Vladimir
להגדלת הטקסט להקטנת הטקסט-
אישיות
|
מספר מערכת
987007455059905171
מידע על הזהות:
שם ראשי (לועזית)
Lifschitz, Vladimir
תאריך לידה
1947-05-30
מגדר
male
MARC
MARC
מקורות מידע
- His Mechanical theorem proving in the USSR, c1986:t.p. (Vladimir Lifschitz) fwd. (Russian emigre to the U.S.)
- Artificial intelligence and mathematical theory of computation, c1991:CIP t.p. (Vladimir Lifschitz, Dept. of Computer Sci., Univ. of Tex. at Austin) data sht. (b. 5/30/47)