Главная Документация WEB ИРБИС 8.1 Шлюз Z39.50

Базы данных


Российский сводный каталог по научно-технической литературе - результаты поиска

Вид поиска

Формат представления найденных документов:
полныйинформационныйкраткий
Общее количество найденных документов : 1
1.
Захаров В.А.
О преобразовании операторных процедур в логические программы
Маневич С.И.. - М.. - 1994. - 23 c.. -(Препринт; N73 за 1994 г.). - На рус.яз. - Российская Федерация. - Тираж 60 экз.
ГРНТИ: 50.05.03
УДК: 681.3.06:519.681(04)
Предметные рубрики: Программирование для ЭВМ логическое
Перевод заглавия: On the transformation of sequential procedures into logic programs
Аннотация: Предложено описание и математическое обоснование системы трансляции операторных процедур языков программирования типа PASCAL в логические программы, пригодные для использования в системе программирования TURBO-PROLOG. Подобный способ трансляции призван повысить эффективность составления логических программ и облегчить верификацию последовательных операторных процедур

Держатели документа:
 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)