Matches in Library of Congress for { <http://lccn.loc.gov/98132302> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 98132302 contributor B8433874.
- 98132302 created "1996.".
- 98132302 date "1996".
- 98132302 date "1996.".
- 98132302 dateCopyrighted "1996.".
- 98132302 description "Includes bibliographical references.".
- 98132302 extent "254 p. :".
- 98132302 identifier "5020136034".
- 98132302 isPartOf "Logika i kompʹi︠u︡ter ; 3".
- 98132302 isPartOf "Logika i kompʹi︠u︡ter ; Vyp. 3.".
- 98132302 issued "1996".
- 98132302 issued "1996.".
- 98132302 language "rus eng".
- 98132302 language "rus".
- 98132302 subject "DEDUCTIO (Computer program language)".
- 98132302 subject "Logic, Symbolic and mathematical.".
- 98132302 subject "Programming languages (Electronic computers) Semantics.".
- 98132302 subject "QA76.73.D397 D65 1996".
- 98132302 title "Dokazatelʹstvo i ego poisk : kurs logiki i kompʹi︠u︡ternyĭ praktikum / [avtory, Smirnov V.A. ... et al. ; otvetstvennyĭ redaktor V.A. Smirnov].".
- 98132302 type "text".