Matches in Library of Congress for { <http://lccn.loc.gov/89155948> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- 89155948 contributor B5966930.
- 89155948 created "1988.".
- 89155948 date "1988".
- 89155948 date "1988.".
- 89155948 dateCopyrighted "1988.".
- 89155948 description "Includes bibliographical references.".
- 89155948 extent "182 p. :".
- 89155948 identifier "5020286117 :".
- 89155948 issued "1988".
- 89155948 issued "1988.".
- 89155948 language "rus".
- 89155948 subject "Application software.".
- 89155948 subject "Automatic theorem proving.".
- 89155948 subject "Mathematical models.".
- 89155948 subject "TA342 .I56 1988".
- 89155948 title "Instrumentalʹnye sistemy i modelirovanie : sbornik nauchnykh trudov / otvetstvennyĭ redaktor O.G. Divakov.".
- 89155948 type "text".