Dokazatelʹstvo i ego poisk :
kurs logiki i kompʹi︠u︡ternyĭ praktikum /
[avtory, Smirnov V.A. ... et al. ; otvetstvennyĭ redaktor V.A. Smirnov].

Description

Tools

Cite this Export citation file
Related Names
Smirnov, V. A. (Vladimir Aleksandrovich)
Language(s)
Russian
Published
Moskva : "Nauka", 1996.
Subjects
Logic, Symbolic and mathematical.
Programming languages (Electronic computers) > Semantics.
DEDUCTIO (Computer program language)
Note
At head of title: Rossiĭskai︠a︡ Akademii︠a︡ nauk.
Physical Description
254 p. : ill. ; 21 cm. + 1 computer disk (3 1/2 in.).
ISBN
5020136034
Locate a Print Version
Find in a library

Viewability

Item Link Original Source
Limited (search only)   University of California