TY  - BOOK
AU  - Захаров, В. А.
AU  - Маневич,С.И.
TI  - № 73. О преобразовании операторных процедур в логические программы
T2  - Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук
SN  - 2071-2898
PY  - 1994///
ER  -