RUS
ENG
Full version
PEOPLE
Kastin O M
Publications in Math-Net.Ru
On the use of Ithe language ALGOL 60 in solution of logical problems
Zh. Vychisl. Mat. Mat. Fiz.
,
10
:2 (1970),
527–530
©
Steklov Math. Inst. of RAS
, 2024