Matches in Library of Congress for { <http://lccn.loc.gov/90169718> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- 90169718 contributor B6227842.
- 90169718 contributor B6227843.
- 90169718 created "1989.".
- 90169718 date "1989".
- 90169718 date "1989.".
- 90169718 dateCopyrighted "1989.".
- 90169718 description "Includes bibliographical references (p. 125-127).".
- 90169718 extent "127 p. :".
- 90169718 issued "1989".
- 90169718 issued "1989.".
- 90169718 language "rus".
- 90169718 publisher "Leningrad : Akademii︠a︡ nauk SSSR, Leningradskiĭ in-t informatiki i avtomatizat︠s︡ii,".
- 90169718 subject "Induction (Mathematics)".
- 90169718 subject "Logic, Symbolic and mathematical.".
- 90169718 subject "QA9 .L477 1989".
- 90169718 title "Metody i algoritmy induktivnogo vyvoda / N.N. Li︠a︡shenko ; otvetstvevnnyĭ redaktor V.M. Ponomarev.".
- 90169718 type "text".