Matches in Library of Congress for { <http://lccn.loc.gov/87157481> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items per page.
- 87157481 contributor B5502393.
- 87157481 created "1986.".
- 87157481 date "1986".
- 87157481 date "1986.".
- 87157481 dateCopyrighted "1986.".
- 87157481 description "Bibliography: p. 50-51.".
- 87157481 extent "51 p. ;".
- 87157481 isPartOf "Algoritmy nebesnoĭ mekhaniki ; 50".
- 87157481 issued "1986".
- 87157481 issued "1986.".
- 87157481 language "rus".
- 87157481 publisher "Leningrad : In-t teoret. astronomii Akademii nauk SSSR,".
- 87157481 subject "Automatic theorem proving.".
- 87157481 subject "QA76.9.A96 N45 1986".
- 87157481 title "Sistema PROVE--realizat︠s︡ii︠a︡ metoda vydelenii︠a︡ podt︠s︡eleĭ / V.S. Neĭman.".
- 87157481 type "text".