RUS
ENG
Full version
PEOPLE
Tyugu È Kh
Publications in Math-Net.Ru
The completeness of structural synthesis rules
Dokl. Akad. Nauk SSSR
,
263
:2 (1982),
291–295
A computational problem solver
Zh. Vychisl. Mat. Mat. Fiz.
,
11
:4 (1971),
992–1004
Solution of problems on computer models
Zh. Vychisl. Mat. Mat. Fiz.
,
10
:3 (1970),
716–733
©
Steklov Math. Inst. of RAS
, 2024