Books by Vladimir Lifschitz
Artificial and Mathematical Th
Artificial and Mathematical Theory of Computation
Handbook of knowledge representation
Artificial intelligence and ma
Artificial intelligence and mathematical theory of computation
Formalizing common sense
Mechanical theorem proving in
Mechanical theorem proving in the USSR