TY  - BOOK
AU  - Itkin, V. E.
ED  - Symposium on theoretical programming
TI  - Logical-termal equivalence of program schemata
PY  - 1972///]
CY  - [M.
KW  - Алгоритмы
KW  - Операторные схемы
KW  - nlr_sh1
KW  - RU\NLR\AUTH\6625718
KW  - Москва
KW  - Мт-1
KW  - rubbk
KW  - ˆ[‰В127]
N2  - Библиогр.: с. 15
ER  -