RUS
ENG
Full version
PEOPLE
Strukov Alexandr Vladimirovich
Publications in Math-Net.Ru
A Preface and an Introductory Article to the Re-edition of the Work of Platon Sergeevich Poreckiy «Solving General Tasks in Probability Theory by Using Mathematical Logic»
Tr. SPIIRAN
,
43
(2015),
5–26
Reliability Assessment for Three-State Element Systems Using ARBITER Software
Tr. SPIIRAN
,
31
(2013),
123–146
©
Steklov Math. Inst. of RAS
, 2024