Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Пошуковий запит: (<.>ID=REF-0000134142<.>) |
Загальна кількість знайдених документів : 1
|
Летичевский А. А. Переписывающая машина и оптимизация стратегий переписывания термов / А. А. Летичевский, В. В. Хоменко // Кибернетика и систем. анализ. - 2002. - № 5. - С. 3-17. - Библиогр.: 10 назв. - рус.Розглянуто алгебричну специфікацію нової переписувальної машини для швидкого переписування термів. Доведено теореми щодо коректності специфікації. Запропоновано метод оптимізації стратегії ітеративного переписування. Ключ. слова: переписывание термов, переписывающая машина, алгебраическое программирование, алгебраические спецификации, оптимизация программ Індекс рубрикатора НБУВ: З973-018.024
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
|