Mechanical theorem proving in the USSR
Subtitle: the Leningrad school
By: Vladimir Lifschitz.
Series: Monograph series on Soviet Union; Delphic emigre series
Publisher: Delphic Associates
Published: 1986
Place of publication: Falls Church, VA (7700 Leesburg Pike, #250, Falls Church 22043)
Language: eng
Number of pages: 103
Subjects: Automatic theorem proving.; Electronic digital computers -- Soviet Union.
Notes: Bibliography: leaves 98-103.