Российская академия наук    
     
   

Общая информация


 
Login Print view Help 

Поиск атрибутный
  Организаций
  Персон

Структура учреждений РАН




Логический вывод на интерпретированных сетях Петри

 Аннотация

    Целью данной статьи является попытка применения аппарата теории сетей Петри к проблеме распараллеливания процедур дедуктивного вывода. Приведены описания основных механизмов вывода.

 Ключевые слова

    Логический вывод, Сети Петри, Логика предикатов
 


Последние изменения: 20.02.2001


119991 Москва, Ленинский просп., 14
Телефон: (495) 938-0309 (Справ. бюро); Факс: (495) 954-3320 (Лен.пр.14), (495) 938-1844 (Лен.пр,32а)
На главную страницу
В начало страницы
© РАН 2007