1 option
Mechanical theorem proving in the USSR : the Leningrad school / Vladimir Lifschitz.
LIBRA QA76.9.A96 L54 1986
Available from offsite location
- Format:
- Book
- Author/Creator:
- Lifschitz, Vladimir.
- Series:
- Monograph series on Soviet Union
- Delphic emigre series
- Monograph series on Soviet Union.
- Delphic emigre series.
- Language:
- English
- Subjects (All):
- Automatic theorem proving.
- Electronic digital computers--Soviet Union.
- Electronic digital computers.
- Soviet Union.
- Physical Description:
- xii, 103 leaves ; 29 cm.
- Place of Publication:
- Falls Church, VA (7700 Leesburg Pike, #250, Falls Church 22043) : Delphic Associates, [1986]
- Notes:
- Bibliography: leaves 98-103.
- OCLC:
- 16351308
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.