Normal view
MARC view
Lifschitz, Vladimir (Personal Name)
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)