TY  - BOOK
AU  - Гречаник, С. А.
TI  - Полипрограммы как представление множеств функциональных программ и преобразования над ними
T2  - Препринты ИПМ им. М. В. Келдыша
PY  - 2017///
CY  - Москва
PB  - ИПМ РАН
KW  - Компиляторы (компьют.)
KW  - Теория
KW  - RU\NLR\AUTH\661344711
KW  - З973.2-018-5-05,0
KW  - rubbk
KW  - З973.2-018-5-05-01
N2  - Библиогр.: с. 30-31 (16 назв.)
ER  -