Matches in Library of Congress for { <http://lccn.loc.gov/82242673> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- 82242673 contributor B4349761.
- 82242673 contributor B4349762.
- 82242673 created "1979.".
- 82242673 date "1979".
- 82242673 date "1979.".
- 82242673 dateCopyrighted "1979.".
- 82242673 description "Includes bibliographies.".
- 82242673 extent "93 p. :".
- 82242673 issued "1979".
- 82242673 issued "1979.".
- 82242673 language "rus".
- 82242673 publisher "Kiev : In-t kibernetiki,".
- 82242673 subject "Automatic theorem proving.".
- 82242673 subject "QA76.9.A96 A95 1979".
- 82242673 subject "Robotics.".
- 82242673 title "Avtomatizat︠s︡ii︠a︡ obrabotki matematicheskikh tekstov i voprosy sozdanii︠a︡ robotov / [otvetstvennye redaktory I︠U︡.V. Kapitonova, V.I. Rybak].".
- 82242673 type "text".