Matches in Library of Congress for { <http://lccn.loc.gov/84143781> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items per page.
- 84143781 contributor B4716783.
- 84143781 contributor B4716784.
- 84143781 created "1983.".
- 84143781 date "1983".
- 84143781 date "1983.".
- 84143781 dateCopyrighted "1983.".
- 84143781 description "Includes bibliographical references.".
- 84143781 extent "96 p. :".
- 84143781 issued "1983".
- 84143781 issued "1983.".
- 84143781 language "rus".
- 84143781 publisher "Kiev : In-t kibernetiki im. V.M. Glushkova,".
- 84143781 subject "Automatic theorem proving.".
- 84143781 subject "QA76.9.A96 M33 1983".
- 84143781 title "Matematicheskoe obespechenie sistem logicheskogo vyvoda i deduktivnykh postroenii na ĖVM : sbornik nauchnykh trudov / [redakt︠s︡ionnai︠a︡ kollegii︠a︡ I︠U︡.V. Kapitonova (otvetstv. redaktor) ... et al.].".
- 84143781 type "text".