Dokazatelʹstvo i ego poisk
Dokazatelʹstvo i ego poisk
Smirnov, V. A.
Details
OL Work ID
OL23676196W
Subjects
DEDUCTIO (Computer program language)
Symbolic and mathematical Logic
Semantics
Programming languages (Electronic computers)
Find this book
Open Library