TY  - BOOK
AU  - Кабулов, Анвар Василович
AU  - Зуфаров, Бахтиер
ED  - АН УзССР, Узб. науч-произв. об-ние "Кибернетика".
TI  - Логические методы синтеза оптимальных корректоров эвритических алгоритмов
PY  - 1985///
CY  - Ташкент
PB  - Фан
KW  - ალგორითმები
KW  - პროგრამირება
KW  - კოდების კორეტირება
KW  - ევრისტიკული პროგრამირება
N1  - Библиогр. в конце статей
ER  -