Astronet Поиск по астрономическим сайтам English Russian
       
        Точная форма слов   О проекте   Сайты   Справка
Поиск по:www.cplire.ru/   - Поискать по всем серверам
Найдено документов: 959 (1 сайтов) ---- Время поиска: 0.04сек.   

Показаны документы, содержащие фрагменты текста из документа
http://www.cplire.ru/Lab144/alt/01060303.html.

1. Actor Prolog. Programming language definition.
... Пересмотр списка задержанных подцелей осуществляется следующим образом : . ... Считается, что на каждой фазе исполнения процесса используется новый список задержанных подцелей . В начале фазы список задержанных подцелей является пустым. Ссылки: задерживающие значения 6.3.2 , значение терма 3 , исполнение предиката 6.3.1 , подцель доказательства 6.3.1 , процесс 5.2 , список 3.2.2 , список задержанных подцелей 6.3.2 , фаза 5.2 , целевой параметр 4.1.3 . ... СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) . ...
[ Сохраненная копия ]  Ссылки http://www.cplire.ru/Lab144/1251/01060303.html -- 4.1 Кб -- 24.09.2007
Похожие документы
Еще в разделе: (Показать все результаты (>959) - www.cplire.ru/ )


Астронет | Научная сеть | ГАИШ МГУ | Поиск по МГУ | О проекте | Авторам

Комментарии, вопросы? Пишите: info@astronet.ru или сюда

Rambler's Top100 RFBR Яндекс цитирования