Matches in Library of Congress for { <http://lccn.loc.gov/87109096> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 87109096 contributor B5448743.
- 87109096 created "c1986.".
- 87109096 date "1986".
- 87109096 date "c1986.".
- 87109096 dateCopyrighted "c1986.".
- 87109096 description "Bibliography: leaves 98-103.".
- 87109096 extent "xii, 103 leaves ;".
- 87109096 isPartOf "Delphic emigre series".
- 87109096 isPartOf "Monograph series on Soviet Union".
- 87109096 issued "1986".
- 87109096 issued "c1986.".
- 87109096 language "eng".
- 87109096 publisher "Falls Church, VA (7700 Leesburg Pike, #250, Falls Church 22043) : Delphic Associates,".
- 87109096 spatial "Soviet Union.".
- 87109096 subject "511.3 19".
- 87109096 subject "Automatic theorem proving.".
- 87109096 subject "Electronic digital computers Soviet Union.".
- 87109096 subject "QA76.9.A96 L54 1986".
- 87109096 title "Mechanical theorem proving in the USSR : the Leningrad school / Vladimir Lifschitz.".
- 87109096 type "text".